Springer, 1996. — xiii, 320 pp. — (Lecture Notes in Computer Science). — ISBN: 3-540-61534-2.
This volume constitutes the referred proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996.
The book presents five full papers by the invited speakers together with 15 revised full papers selected for presentation at the conference from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding.
Invited PapersProcesses and Participants
Conceptual Structures of Multicontexts
Graph Drawing Methods
Big Posets of Participatings and Thematic Roles
Linguistic Geometry Tools Generate Optimal Solutions
Natural Language ProcessingNatural Language Text Processing and the Maximal Join Oper
DB-MAT: Knowledge Acquisition, Processing and NL Generation Using Conceptual Graphs
Information RetrievalConceptual Graph Aboutness
Conceptual Structures and Structured Documents
Graph OperationsConceptual Graphs Isomorphism: Algorithm and Use
Editing Conceptual Graphs
Conceptual Graph and Peirce TheoryComputational Situation Theory in the Conceptual Graph Language
Existential Graphs and Tense Logic
Knowledge AcquisitionMicroanalysis: Acquiring Database Semantics in Conceptual Graphs 2
Theorem Proving and CG ProgrammingPropagating Truth and Detecting Contradiction in Conceptual Graph Databases 2
Sound and Complete Forward and Backward Chainings of Graph Rules 2
CG Programming (Continued)Towards Fuzzy Conceptual Graph Programs
Order-Based Organisation and EncodingSparse Term Encoding for Dynamic Taxonomies
Lattice Embedding
Local Scaling in Conceptual Data Systems