DAI-List Digest Monday, 6 July 1992 Issue Number 83 Topics: CFP for International Conference on Distributed Computing Systems Request for DAI Languages DAI at KR'92 Conference (Program Excerpts) Please send submissions to DAI-List@mcc.com. Send other requests, such as changes in your e-mail address, to DAI-List-Request@mcc.com. ------------------------------------------------------------------------ Date: Thu, 2 Jul 92 14:49:58 PDT From: pbobbie@trivia.coginst.uwf.edu Subject: CFP for ICDCS 93 Call for Papers The 13th International Conference on Distributed Computing Systems Pittsburgh Hilton, Pittsburgh, Pennsylvania, USA, Tuesday-Friday, May 25-28, 1993 This conference encompasses the technical aspects of specifying, designing, implementing, and evaluating distributed computing systems. In such systems, there are multiple processing resources interconnected to cooperate under system-wide control with minimal reliance on centralized procedures, data, or hardware. The location of computing resources may span the spectrum from physical adjacency to geographical dispersion. The topics of interest include the following aspects of distributed computing systems. - Computer Architecture and Distributed Shared Memory - Cooperative Work and Artificial Intelligence - Languages, Tools, and Software Engineering - Distributed System Services and Management - Communication Architectures and Protocols - Multimedia Computing and Communication - Modeling and Performance Evaluation - Reliability and Fault Tolerance - Distributed Operating Systems - Distributed Algorithms - Distributed Databases - Real-Time Issues INFORMATION FOR AUTHORS Authors are requested to submit six copies (in English) of their double-spaced typed manuscript (maximum of 20 pages) with an abstract and keywords to Prof. Wittie by Thursday, October 15, 1992. The conference language is English and final papers are restricted to eight IEEE model pages. Each paper must be accompanied by a submission letter that indicates which one or two conference areas are most relevant. If there are multiple authors, one author must be designated as responsible for correspondence and preparation of the camera-ready paper for inclusion in the proceedings. Please give postal address, email address, and telephone for the corresponding author. Authors will be notified of acceptance by February 1, 1993 and will be given instructions for final preparation of their papers at that time. Submit papers to: Larry Wittie Z4400 Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400, USA Tel: (516) 632-8456 Fax: (516) 632-8334 E-mail: lw@sbcs.sunysb.edu TUTORIALS In addition to papers, proposals for one day tutorials are solicited in any of the conference areas. Proposals should be submitted to Dr. Yao-Nan Lien by October 1, 1992. Submit tutorial proposals to: Yao-Nan Lien AT&T Bell Laboratories 200 Park Plaza, Room IHP 2A340 Naperville, IL 60566-7050, USA Tel: (708) 713-4318 Fax: (708) 713-7098 E-mail: yaonan.lien@att.com CONFERENCE LOCATION Pittsburgh Hilton, Pittsburgh, Pennsylvania, USA ORGANIZING AND PROGRAM COMMITTEES General Chair Benjamin W. Wah, University of Illinois at Urbana, USA Program Chair Larry Wittie, SUNY at Stony Brook, USA Computer Architecture and Distributed Shared Memory Vice Chair Michel Dubois, University of Southern California, USA Cooperative Work and Artificial Intelligence Vice Chair Nick J. Cercone, Simon Fraser University, Canada Languages, Tools, and Software Engineering Vice Chair Gail E. Kaiser, Columbia University, USA Distributed System Services and Management Vice Chair Liba Svobodova, IBM Zurich Research Laboratory, Switzerland Communication Architectures and Protocols Vice Chair Haruhisa Ichikawa, NTT Software Research Laboratory, Japan Multimedia Computing and Communication Vice Chair Ralf Steinmetz, IBM European Networking Center, Germany Modeling and Performance Evaluation Vice Chair Alexander Thomasian, IBM Watson Research Center, USA Reliability and Fault Tolerance Vice Chair Hermann Kopetz, Technical University of Vienna, Austria Distributed Operating Systems Vice Chair Partha Dasgupta, Arizona State University, USA Distributed Algorithms Vice Chair Divyakant Agrawal, University of California at Santa Barbara, USA Distributed Databases Vice Chair Wojciech Cellary, French-Polish School of New Information and Communication Technologies, Poland Real-Time Issues Vice Chair Hideyuki Tokuda, Carnegie Mellon University, USA Tutorials Chair Yao-Nan Lien, AT&T Bell Laboratories, USA Awards Chair Joseph E. Urban, Arizona State University, USA Publicity Chair Bruce McMillin, University of Missouri-Rolla, USA International Liaison Chairs Makoto Takizawa, Tokyo Denki University, Japan A. M. Tjoa, University of Vienna, Austria Local Arrangements Chair Mario R. Barbacci, Carnegie-Mellon University, USA Treasurer Susan D. Urban, Arizona State University, USA TC on Distributed Processing Chair Bill Buckles, Tulane University, USA Steering Committee Chair Mike Liu, Ohio State University, USA For more information please contact Benjamin W. (Ben) Wah Coordinated Science Laboratory University of Illinois, MC228 1101 W. Springfield Avenue Urbana, IL 61801-3082 Tel: (217) 333-3516 Fax: (217) 244-7175 E-mail: b-wah@uiuc.edu SPONSORED BY: IEEE COMPUTER SOCIETY THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, INC. ------------------------------------------------------------------------ From: ndiaye@cs.uni-sb.de (Alassane &) Subject: DAI Languages (MACE, ...) Date: 1 Jul 92 08:57:37 GMT Hello, I'm looking for distributed object oriented languages. Where can I find a description and an implementation of MACE and/or AGORA? Any hints? Please e-mail me. regards -- alassane (ndiaye@cs.uni-sb.de) Alassane NDIAYE FB 14 - Informatik IV PHONE: +49-681-302-4135 Universitaet des Saarlandes Im Stadtwald 15 D-6600 Saarbruecken 11 FAX: +49-681-302-4421 Federal Republic of Germany ------------------------------------------------------------------------ From: huhns@mcc.com Subject: DAI at KR'92 Conference (Program Excerpts) Date: 2 Jul 92 20:22:19 GMT KR'92 Third International Conference on Principles of Knowledge Representation and Reasoning Royal Sonesta Hotel Cambridge, Massachusetts, USA October 25-29, 1992 With support from the American Association for Artificial Intelligence, the European Coordinating Committee on Artificial Intelligence, and the Canadian Society for Computational Studies of Intelligence; in cooperation with International Joint Conferences on Artificial Intelligence, Inc. ABOUT KR'92 The idea of explicit representations of knowledge manipulated by inference algorithms provides an important foundation for much work in Artificial Intelligence, from natural language to expert systems. A growing number of researchers are interested in the principles governing systems based on this idea. Following the successful formula of the two earlier KR conferences, KR'92 will bring together these researchers in a more intimate setting than that of the general AI conferences. In particular, authors will have the opportunity to give presentations of adequate length to present substantial results. Also, a relatively small conference site has again been selected in order to encourage informal interaction among attendees. The theme of this year's conference is the relationship between the principles of knowledge representation and reasoning and their embodiment in working systems. Presented papers and invited talks will address the following important questions: * What issues arise in applying knowledge representation systems to real problems? * What are the theoretical principles of knowledge representation and reasoning? * How can these principles be embodied in knowledge representation systems? INVITED TALKS AND PANELS The DARPA Knowledge Sharing Effort: Progress Report, Ramesh Patil (Panel Organizer)-USC/Information Sciences Inst., USA This panel will report on the following activities, with special emphasis on the problems encountered and open research issues: an interlingua for translation between different representation languages (Richard Fikes, Stanford U.), a uniform syntax and semantics for common constructs within representation families (Peter Patel-Schneider, AT&T Bell Labs), a protocol for run-time interchange between system modules, (Donald McKay, UNISYS), and libraries of domain-specific ontologies (Thomas Gruber, Stanford U.). PROGRAM EXCERPTS Issues in Multiagent Environments 8:30 Semantics for Knowledge and Communication Adam J.Grove-Stanford U.,USA 9:05 Emergent Conventions in Multiagent Systems: Initial Experimental Results and Observations Yoav Shoham and Moshe Tenneholtz-Stanford U.,USA 9:40 Knowledge Representation Requirements for Description-Based Communication Anthony S.Maida-U.Southwestern Louisiana,USA Logics of Belief and Intention 4:05 An Abstract Architecture for Rational Agents Anand S. Rao and Michael P. Georgeff-Australian Artificial Intelligence Inst. 4:40 Accessibility in Explicit Belief Logics James P. Delgrande-Simon Fraser U., Canada 5:15 A Study in the Logic of Intention M.D. Sadek-Centre National d'Etudes des Telecommunications,France For more KR'92 information: E-mail: kr92@cs.tufts.edu Regular Mail: KR'92 Department of Computer Science Tufts University Medford, MA 02155 USA Phone: 617-627-3214 Fax: 617-627-3443 Automatic E-mail: If you send a message to either of the following two addresses, a reply will be sent to the address in the sender field (without being read by a person). kr92-info@cs.tufts.edu To obtain a copy of the full announcement kr92-subsidy@cs.tufts.edu To obtain an electronic version of the application for a student housing subsidy