Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings
This book constitutes the proceedings of the Third International Conference on Conceptual Structures, ICCS '95, held in Santa Cruz, California in August 1995. Conceptual structures are a modern treatment of Peirce's existential graphs, a graphic notation for classical logic with higher ord...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Weitere Verfasser: | , , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science. Lecture notes in artificial intelligence
954 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Autre directeur de publication : John F. Sowa Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Conceptual structures, applications, implementation, and theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995, proceedings, Gerard Ellis ... [et al.], eds, Berlin, Springer, 1995, 1 vol. (IX-352 p.), Lecture notes in computer science, 3-540-60161-9 • Conceptual Structures: Applications, Implementation and Theory, Texte imprimé, 9783662174302 |
Inhaltsangabe:
- Syntax, semantics, and pragmatics of contexts
- Ontology revision
- A triadic approach to formal concept analysis
- Automatic integration of digital system requirements using schemata
- Service trading using conceptual structures
- Sentence generation from conceptual graphs
- Discourse spaces: A pragmatic interpretation of contexts
- A pragmatic representational approach of context and reference in discourses
- Using the conceptual graphs operations for natural language generation in medicine
- Table 10 left without paying the bill! a good reason to treat metonymy with conceptual graphs
- Object-oriented conceptual graphs
- A direct proof procedure for definite conceptual graph programs
- Conceptual clustering of complex objects: A generalization space based approach
- Using empirical subsumption to reduce the search space in learning
- A new parallelization of subgraph isomorphism refinement for classification and retrieval of conceptual structures
- Transputer network implementationof a parallel projection algorithm for conceptual graphs
- Spanning tree representations of graphs and orders in conceptual structures
- An implementation model for contexts and negation in conceptual graphs
- A linear descriptor for conceptual graphs and a class for polynomial isomorphism test
- Projection and unification for conceptual graphs
- A novel algorithm for matching conceptual and related graphs
- On the ontology of knowledge graphs
- Conceptual graphs and first-order logic
- Existential graphs and dynamic predicate logic.