4. ICCS 1996: Sydney, Australia

Invited Papers

Natural Language Processing

Information Retrieval

Graph Operations

Conceptual Graph and Pierce Theory

Knowledge Acquisition

Theorem Proving and CG Programming

CG Programming (Continued)

Order-Based Organisation and Encoding