From ged@goanna.cs.rmit.oz.au Fri Sep 30 17:07:12 EDT 1994 Article: 24393 of comp.ai Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!news.duke.edu!news-feed-1.peachnet.edu!gatech!howland.reston.ans.net!agate!msuinfo!harbinger.cc.monash.edu.au!aggedor.rmit.EDU.AU!goanna.cs.rmit.oz.au!not-for-mail From: ged@goanna.cs.rmit.oz.au (Gerard Ellis) Newsgroups: comp.ai Subject: CFP: ICCS'95: International Conference on Conceptual Structures Date: 25 Sep 1994 13:21:50 +1000 Organization: Comp Sci, RMIT, Melbourne, Australia Lines: 148 Message-ID: <362qce$qrb@goanna.cs.rmit.oz.au> NNTP-Posting-Host: goanna.cs.rmit.oz.au NNTP-Posting-User: ged Summary: representing the world's knowledge Keywords: conceptual graphs, knowledge representation, knowledge processing, nat Please find below the CFP for ICCS'95. A postscript version can be ftp'ed ftp.cs.rmit.edu.au /pub/rmit/peirce/ICCS95.ps.Z Also the ICCS'95 home page on the World Wide Web is http://www.cs.rmit.edu.au/ICCS95/ Regards, Gerard ______________________________________________________________ CALL FOR PAPERS 3rd International Conference on Conceptual Structures August 14-18, 1995 University of California, Santa Cruz IMPORTANT DATES submission postmark deadline December 12, 1994 notification of acceptance February 15, 1995 camera-ready copy April 15, 1995 THEME Conceptual structures are a modern treatment of Charles Sanders Peirce's Existential Graphs which are a graphic notation for classical logic with higher order extensions developed in 1896. Peirce viewed existential graphs as ``his luckiest discovery'' and ``a logic of the future''. His view was that people should be able to build models in logic much like modern designers build models of airplanes for reasoning about real airplanes. Peirce's view was that you could ``see'' contradictions and processes in reasoning within existential graphs. John Sowa showed that conceptual graphs can be mapped to classical predicate calculus or order sorted logic, and are thus seen as just another (graphic) notation for logic. However, it is the topological nature of formulas (topology was a field Peirce helped develop) which conceptual graphs make clear, and which can be exploited in reasoning and processing. Conceptual graphs are intuitive because they allow humans to exploit their powerful pattern matching abilities to a larger extent than does the classical notation. Conceptual graphs can be viewed as an attempt to build a unified modelling language and reasoning tool. Conceptual graphs can model data, functional and dynamic aspects of systems. They form a unified diagrammatic tool which can integrate Entity-Relationship diagrams, Finite State Machines, Petri Nets, and Dataflow diagrams. Conceptual graphs have a natural mapping to natural language. TOPICS Substantive papers are invited on the following topics: application and experience; case studies; conceptual analysis; natural language processing; ontologies; implementation; and theory. Argument for or against the use of conceptual graphs is of particular interest. This may be done by comparisons with other representations on the basis of expressiveness, intuitive aspect, ease of use, computational performance, or reasoning simplicity. Comparisons can also be made by translating existing case studies, which use well-known representations, into conceptual graphs. AUTHORS' INFORMATION Papers may not exceed 15 pages, 11 point minimum font size, text width (4.88 in) 12.2 cm, text height 7.72 in (19.3 cm). Latex users: please use llncs.sty. Shorter, substantive papers are welcome. Authors are requested to submit five (5) copies of their paper. Alternatively, electronic submissions of papers (postscript output) are encouraged. Authors are further requested to attach title pages to their submissions bearing their names, addresses, telephone numbers, FAX numbers and e-mail addresses. In addition, authors are asked to include abstracts of approximately twenty (20) lines with each paper, and a list of short phrases descriptive of the content. PAPERS MUST BE POSTMARKED ON OR BEFORE MONDAY DECEMBER 12, 1994. Address: ICCS'95 c/o Gerard Ellis Computer Science Dept. RMIT GPO Box 2476V, Melbourne, VIC 3001 Australia email: ged@cs.rmit.edu.au ph:61-3-660-5090 fax:61-3-662-1617 PUBLICATION OF PAPERS Accepted papers will appear in the conference "Proceedings" to be published, provisionally, by Springer-Verlag of Berlin. PRIZES There will be prizes in the categories: best paper, best student research proposal, best demonstration. Details of each award will be announced at a later date. ORGANISATION Program Chair Local Arrangements Chair Gerard Ellis Robert Levinson Royal Melbourne Univ of Technology Univ of California, Santa Cruz Australia USA ged@cs.rmit.edu.au levinson@cis.ucsc.edu Finance Chair Honorary Chair Bill Rich John Sowa IBM San Jose, California State University of New York USA USA billrich@vnet.ibm.com sowa@turing.pacss.binghamton.edu Program Committee Hassan Ait-Kaci (Canada) Dickson Lukose (Australia) Harmen van den Berg (Netherlands) Craig McDonald (Australia) Gary Berg Cross (USA) Guy Mineau (Canada) Duane Boning (USA) Jens-Uwe Moeller (Germany) Boris Carbonneill (France) Bernard Moulin (Canada) Michel Chein (France) Marie Laure Mugnier (France) Key Sun Choi (Korea) Jonathan Oh (USA) Peter Creasy (Australia) Heike Petermann (Germany) Walling Cyre (USA) James Slagle (USA) Harry Delugach (USA) Bill Tepfenhart (USA) Judy Dick (USA) Eileen Way (USA) Peter Eklund (Australia) Michel Wermelinger (Portugal) Bruno Emond (Canada) Mark Willems (Netherlands) Brian Gaines (Canada) Walter Wilson (USA) Brian Garner (Australia) Vilas Wuwongse (Thailand) Fritz Lehmann (USA) CONFERENCE LOCATION The conference will be held at the University of California, Santa Cruz in a redwood forest in the Santa Cruz mountains. The university and conference facilities are retreat style with housing available in family-style apartments residing on the campus. The university is well serviced by buses to downtown Santa Cruz. The campus, just 10 minutes from the oceanside, overlooks Monterey Bay, the popular surfing beaches, and you can watch the eagles soar from the Birds of Prey sanctuary which forms part of the campus. Santa Cruz is approximately a 90 minute bus ride from San Francisco airport and about 45 minutes from San Jose. This CFP and the latest information regarding ICCS'95 can be found in the World Wide Web under http://www.cs.rmit.edu.au/ICCS95/ -- Gerard Ellis ged@cs.rmit.edu.au ph:61-3-660-5090 FAX:61-3-662-1617 Rm:10.9.11 http://www.cs.rmit.edu.au/~ged Computer Science Dept, Royal Melbourne Institute of Technology, GPO Box 2476V, Melbourne, Victoria, 3001, AUSTRALIA