🚀 go-pugleaf

	    1st Australian Conceptual Structures Workshop

		    in association with the

    Seventh Australian Joint Conference on Artificial Intelligence (AI'94)

		    November 22, 1994

	    University of New England, Armidale, New South Wales

THEME

Conceptual graphs are a logic-based formalism for knowledge
representation based on the existential graphs of Charles S. Peirce and
semantic networks.  1994 marks the tenth anniversary of their use.
During this time conceptual structures have been widely used as a
semantic representation for natural language and as a graphic system of
logic for expert systems, theorem provers, and database design.
Significant gains have been made in the storage and retrieval of DBMS
information coupled with knowledge-based system problem solving
capability.

Researchers have developed a sizable software base and continue to
build upon it.  Successful implementations include: rule-based systems,
database systems, knowledge-based systems, knowledge engineering tools,
enterprise modeling, management information systems, conceptual
information retrieval, medical informatics and natural language
applications, among others.

Conceptual graphs are being proposed as a basis for the normative
language for conceptual schemas by the ANSI X3H4 Committee on
Information Resource Dictionary Systems. Conceptual graphs are also
proposed with Knowledge Interchange Format (KIF) as the standard for
knowledge interchange between computer systems.

We encourage the submission of position papers concerning
conceptualization, formation and modeling using conceptual graphs.

TOPICS and ISSUES

Papers are invited on any aspect of concept analysis, representation,
or manipulation involving conceptual graphs.  The following topics are
of particular interest but others, concerned with conceptual graphs,
will be welcome as well.

Theory
Technical developments
Applications
Natural language understanding  
Graph notation
Theorem Proving
Ontology

INVITED TALK

John F. Sowa, SUNY at Binghamton (USA)
	"Knowledge Representation: Logical, Philosophical, and 
	 Computational Foundations"

Norman Foo, Sydney Univ.
	 "A Framework for Ontology Revision"


PROGRAM COMMITTEE

Peter Creasy           University of Queensland 
Peter Eklund           Adelaide University  		(Co-chair)
Gerard Ellis           University of Queensland  	(Co-chair)
Norman Foo             University of Sydney 
Dickson Lukose	       University of New England
John Sowa	       SUNY at Binghamton (USA)
Eric Tsui              Continuum Australia Ltd.


IMPORTANT DATES
Submission Deadline		June 30, 1994.
Notification of Acceptance	August 30, 1994.
Camera-ready copy		October 15, 1994.


Submissions and enquiries to 

    Gerard Ellis 
    Computer Science Dept,
    Royal Melbourne Institute of Technology
    GPO Box 2476V, Melbourne, Victoria, 3001.

    Ph:61-3-660-2544
    FAX:61-3-662-1617
    Email: ged@cs.rmit.edu.au
-- 
Gerard Ellis ged@cs.rmit.edu.au ph:61-3-660-2544 FAX:61-3-662-1617 Rm:12.10.09
    Computer Science Dept, Royal Melbourne Institute of Technology
	GPO Box 2476V, Melbourne, Victoria, 3001, AUSTRALIA