Editor for this issue: <>
Please find below the 2nd CFP for KRUSE. A postscript version can be ftp'ed ftp.cs.rmit.edu.au /pub/rmit/peirce/KRUSE.ps.Z Also the KRUSE home page on the World Wide Web is http://www.cs.rmit.edu.au/KRUSE/ Regards, Gerard -- Gerard Ellis gedMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issuecs.rmit.edu.au ph:61-3-660-5090 FAX:61-3-662-1617 Rm:10.9.11 WWW: http://www.cs.rmit.edu.au/~ged Computer Science Dept, Royal Melbourne Institute of Technology, GPO Box 2476V, Melbourne, Victoria, 3001, AUSTRALIA ___________________________(cut here)___________________________________ 2nd CALL FOR PAPERS International KRUSE Symposium ___ Knowledge Retrieval, Use, and Storage for Efficiency ___ University of California, Santa Cruz August 11-13 1995 IMPORTANT DATES submission postmark deadline February 13, 1995 notification of acceptance April 12, 1995 camera-ready copy June 12, 1995 THEME The symposium will provide a forum for exploring current research in artificial intelligence, cognitive science, and databases that pertains to the organization, encoding and retrieval of logical and complex objects. The symposium will draw together researchers from diverse disciplines as well as practitioners engaged in developing real object-oriented term classification systems. Mathematical and Graph-Theoretic approaches will be favoured over those approaches based on analogy with human cognitive processes, though mathematical discussions of such processes will be appropriate. The basic questions to be addressed include o classification of objects in a taxonomy: systemic classification, semantic indexing, partial-order sorting, description identification, and taxonomy maintenance. o efficient order, lattice, graph, and code theoretic operations on objects: subsumption, generalization, specialization, least common generalization, and greatest common specialization. o advanced uses of taxonomies: knowledge compression, knowledge compilation, and knowledge evolution. o using classified knowledge: classification as problem solving, classification as constraint satisfaction, and exploiting abstraction. o scalable techniques for large object databases o integration of data and knowledge base technologies The symposium will maintain a balance between theoretical issues and descriptions of implemented systems providing a balance between theory and practice. The focus of the symposium is on efficiency of retrieval, use and storage. AUTHORS' INFORMATION Papers may not exceed 15 pages. Shorter, substantive papers are welcome. Authors are requested to submit five (5) copies of their paper. Alternatively, electronic submissions (by ftp or email) of papers (postscript output) are encouraged. Submission by ftp: please place in ftp.cs.rmit.edu.au incoming directory. 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 FEBRUARY 13, 1995. Address: KRUSE 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 ORGANIZING COMMITTEE: Veronica Dahl (Co-Chair) Gerard Ellis, RMIT (Program Chair) Director, Logic and Functionall Computer Science Dept. Programming Group Royal Melbourne Univ of Technology Professor, Computing Sciences Dept. GPO Box 2476, Melbourne, VIC 3001 Simon Fraser University Australia Burnaby, B.C. V5A 1S6 CANADA veronica
cs.sfu.ca ged
cs.rmit.edu.au Phone (604) 291-3372 Phone: 61-3-660-5090 Fax (604) 291-3045 Fax: 61-3-662-1617 Andrew Fall (Co-Chair) Robert Levinson (Local Arrangements Chair) School of Computing Science Dept. of Computer & Information Sciences Simon Fraser University 229 Applied Sciences Building Burnaby, B.C. V5A 1S6 CANADA University of California fall
cs.sfu.ca Santa Cruz, CA 95064 U.S.A. Phone: (604) 291-4302 levinson
cis.ucsc.edu Fax: (604) 291-3045 Phone: (408) 429-2087 Fax: 459-4829 PROGRAM COMMITTEE: Mohan Ahuja (USA) Robert Levinson (USA) Hassan Ait-Kaci (Canada) Patrick Lincoln (USA) Franz Baader (Germany) Robert MacGregor (USA) Yves Caseau (France) Deborah McGuinness (USA) Darrell Conklin (Canada) Guy Mineau (Canada) Veronica Dahl (Canada) Werner Nutt (Germany) Francesco Donini (Italy) Peter Patel-Schneider (USA) Gerard Ellis (Australia) Raghu Ramakrishnan (USA) Andrew Fall (Canada) Manfred Schmidt-Schauss (Germany) Brian Gaines (Canada) James Schmolze (USA) Jim Hendler (USA) Gert Smolka (Germany) Fritz Lehmann (USA) Leon Sterling (USA) Maurizio Lenzerini (Italy) SYMPOSIUM LOCATION The symposium 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 KRUSE can be found in the World Wide Web under http://www.cs.rmit.edu.au/KRUSE/