default search action
1. ICCS 1993: Quebec City, Canada
- Guy W. Mineau, Bernard Moulin, John F. Sowa:
Conceptual Graphs for Knowledge Representation, ICCS '93, Quebec City, Canada, August 4-7, 1993, Proceedings. Lecture Notes in Computer Science 699, Springer 1993, ISBN 3-540-56979-0
Invited Talks
- John F. Sowa:
Relating Diagrams to Logic. 1-35 - Brian R. Gaines:
Representation, Discourse, Logic and Truth: Situating Knowledge Technology. 36-63 - Jon Barwise:
Heterogeneous Reasoning. 64-74
Standards and Comparison of Theories
- Brigitte Biébow, Guy Chaty:
A Comparison between Conceptual Graphs and KL-ONE. 75-89 - Guy W. Mineau:
The Term Definition Operators of Ontolingua and of the Conceptual Graph Formalism: a Comparison. 90-105
Conceptual Graphs and Data Conceptual Modeling
- Brian Bowen, Pavel Kocura:
Implementing Conceptual Graphs in a RDBMS. 106-125 - Peter N. Creasy, Gerard Ellis:
A Conceptual Graphs Approach to Conceptual Schema Integration. 126-141 - Claude Boksenbaum, Boris Carbonneill, Ollivier Haemmerlé, Thérèse Libourel:
Conceptual Graphs for Relational Databases. 142-161
Natural Language Processing
- Roberto Basili, Maria Teresa Pazienza:
Inducing a CG Representation for Basic-Level Categorization of Verbs. 162-181 - Bernard Moulin:
The Representation of Linguistic Information in an Approach Used for Modelling Temporal Knowledge in Discourse. 182-204 - Adeline Nazarenko:
Representing Natural Language Causality in Conceptual Grpahs: the Higher Order Conceptual Relation Problem. 205-222
Reasoning
- Dickson Lukose:
Executable Conceptual Structures. 223-237 - Maurice Pagnucco, Norman Y. Foo:
Inverting Resolution with Conceptual Graphs. 238-253 - Robert Levinson:
Towards Domain-Independent Machine Intelligence. 254-273
Ontologies and Matching
- Gerard Ellis:
Efficient Retrieval from Hierarchies of Objects using Lattice Operations. 274-293 - Marie-Laure Mugnier, Michel Chein:
Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. 294-311 - Mark Willems:
A Conceptual Semantics Ontology for Conceptual Graphs. 312-327
Applications
- Walling R. Cyre:
Acquiring Temporal Knowledge from Schedules. 328-344 - Michel Wermelinger, Alex Bejan:
Conceptual Structures for Modeling in CIM. 345-360 - Esma Aïmeur, Jean-Gabriel Ganascia:
Elicitation of Taxonomies Based on the Use of Conceptual Graph Operators. 361-380
Conceptual Graphs, Existential Graphs and Logics
- J. E. Heaton, Pavel Kocura:
Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs. 381-400 - Bruno Emond:
Operations on Conceptual Structures and Pierce's System of Existential graphs. 401-410 - Harmen van den Berg:
Modal Logics for Conceptual Graphs. 411-429 - Vilas Wuwongse, Mario Manzano:
Fuzzy Conceptual Graphs. 430-449
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.