rjb@andante (Ron Brachman) (04/13/89)
KR'89: THE FIRST INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING Monday, May 15, 1989 - Thursday, May 18, 1989 Royal York Hotel Toronto, Ontario, CANADA PLEASE NOTE: Conference brochures (with registration material) were mailed out several weeks ago to AAAI members, those who submitted papers to KR'89, and those who helped out with the conference. Apparently, not all of the brochures reached their final destinations. If you did not receive a brochure, or would like information about registration and accommodations, please contact Ray Reiter, at (416) 978-6324 or reiter@ai.toronto.edu. Registration material can be sent to you electronically. PLEASE REGISTER EARLY, AS SPACE IS LIMITED. Reduced fees for early registrants are available until April 14. Also please note that some of the paper titles and authors have changed since the brochure was printed. The titles and authors specified below are correct. KR'89 CONFERENCE SCHEDULE ======================================================================== SUNDAY, MAY 14 -- EVENING 7:00 Opening Reception Ballroom ======================================================================== ======================================================================== MONDAY, MAY 15 -- MORNING --------------- Ontario Room: Nonmonotonic Reasoning I --------------- 9:00 A Simple Solution to the Yale Shooting Problem Andrew B. Baker -- Stanford University 9:35 Did Newton Solve the "Extended Prediction Problem"? Manny Rayner -- Swedish Institute of Computer Science 10:10 == break == 10:30 Defaults and Probabilities; Extensions and Coherence Eric Neufeld -- University of New Brunswick 11:05 Default Reasoning, Minimality and Coherence Hector Geffner -- University of California at Los Angeles 11:40 Impediments to Universal Preference-Based Default Theories Jon Doyle -- Massachusetts Institute of Technology Michael P. Wellman -- AFWAL/TXI, Wright-Patterson AFB --------------- Ballroom: Taxonomic Representations; Natural Language-Oriented Representations ---------- 9:00 Terminological Knowledge Representation Systems Supporting N-Ary Terms James G. Schmolze -- Tufts University 9:35 Subsumption in KL-ONE is Undecidable Manfred Schmidt-Schauss -- Universitat Kaiserslautern 10:10 == break == 10:30 Taxonomic Syntax for First Order Inference David McAllester -- MIT Artificial Intelligence Laboratory Bob Givan -- MIT Artificial Intelligence Laboratory Tanveer Fatima -- MIT Artificial Intelligence Laboratory 11:05 Ontological Assumptions in Knowledge Representation Graeme Hirst -- University of Toronto 11:40 An Episodic Knowledge Representation for Narrative Texts Lenhart K. Schubert -- University of Rochester Chung Hee Hwang -- University of Rochester ======================================================================== 12:15 - 2:00 LUNCH ======================================================================== MONDAY, MAY 15 -- AFTERNOON --------------- Ontario Room: Metareasoning; Belief Revision -------- 2:00 Principles of Metareasoning Stuart Russell -- University of California at Berkeley Eric Wefald -- University of California at Berkeley 2:35 Tractable Decision-Analytic Control Oren Etzioni -- Carnegie-Mellon University 3:10 == break == 3:30 Belief, Metaphorically Speaking John A. Barnden -- New Mexico State University 4:05 A Knowledge Level Analysis of Belief Revision Bernhard Nebel -- IBM Deutschland GmbH 4:40 Formal Theories of Belief Revision Anand S. Rao -- The Australian AI Institute Norman Y. Foo -- University of Sydney --------------- Ballroom: Symposium on Temporal Reasoning -------------- Temporal Reasoning in AI, Philosophy, and Theoretical Computer Science Organized and Moderated by Yoav Shoham, Stanford University 2:00 Johan van Benthem, Universiteit van Amsterdam 2:45 Panel Discussion 3:10 == break == 3:30 Amir Pnueli, Weizmann Institute 4:15 Panel Discussion 4:40 Audience Participation ======================================================================== ======================================================================== TUESDAY, MAY 16 -- MORNING --------------- Ontario Room: Deductive Reasoning -------------------- 9:00 A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning Alan M. Frisch -- University of Illinois 9:35 On the Appearance of Sortal Literals: A Non Substitutional Framework for Hybrid Reasoning A. G. Cohn -- University of Warwick 10:10 == break == 10:30 Syntactic Equality in Knowledge Representation and Reasoning Edward P. Stabler, Jr. -- University of Western Ontario 11:05 Plausible World Assumption Eliezer L. Lozinskii -- The Hebrew University 11:40 Skeptical Reasoning and Disjunctive Programs Arcot Rajasekar -- University of Maryland Jorge Lobo -- University of Maryland Jack Minker -- University of Maryland --------------- Ballroom: Case-Based, Analogical, and Inductive Reasoning ------------------------- 9:00 A Framework for Dynamic Representation of Knowledge: A Minimum Principle in Organizing Knowledge Representation Yoshiteru Ishida -- Kyoto University 9:35 Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions Phyllis Koton -- The MITRE Corporation Melissa P. Chase -- The MITRE Corporation 10:10 == break == 10:30 Induction as Nonmonotonic Reasoning Nicolas Helft -- ICOT 11:05 Analogical Reasoning, Defeasible Reasoning, and the Reference Class R. P. Loui -- Washington University 11:40 Analogy as a Constrained Partial Correspondence Over Conceptual Graphs Debbie Leishman -- University of Calgary ======================================================================== 12:15 - 2:00 LUNCH ======================================================================== TUESDAY, MAY 16 -- AFTERNOON --------------- Ontario Room: Commonsense Theories ------------------- 2:00 Combining Logic and Differential Equations for Describing Real-World Systems Erik Sandewall -- Linkoping University 2:35 Solutions to a Paradox of Perception with Limited Acuity Ernest Davis -- Courant Institute 3:10 == break == 3:30 Cardinalities and Well Orderings in a Common-Sense Set Theory Wlodek Zadrozny -- IBM T. J. Watson Research Center 4:05 Modelling Topological and Metrical Properties in Physical Processes D. A. Randell -- University of Warwick A. G. Cohn -- University of Warwick --------------- Ballroom: Symposium on Nonmonotonic Reasoning --------- Nonmonotonic Reasoning Organized and Moderated by David Etherington, AT&T Bell Laboratories 2:00 Probabilistic Semantics for Nonmonotonic Reasoning: A Survey Judea Pearl -- University of California at Los Angeles 3:00 == break == 3:30 Report on the Munich Nonmonotonic Reasoning Workshop David Poole -- University of British Columbia 4:00 Invited Panel: Critical Issues in Nonomonotonic Reasoning Moderator: David Etherington, AT&T Bell Laboratories Panellists: Ken Forbus, University of Illinois Matthew Ginsberg, Stanford University David Israel, SRI International/CSLI Vladimir Lifschitz, Stanford University ======================================================================== TUESDAY, MAY 16 -- EVENING 7:00 Conference Banquet Ontario Place ======================================================================== ======================================================================== WEDNESDAY, MAY 17 -- MORNING --------------- Ontario Room: Constraints; Time --------------------- 9:00 Parallel Solutions to Constraint Satisfaction Problems Simon Kasif -- The Johns Hopkins University 9:35 Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation Francesca Rossi -- MCC Ugo Montanari -- Universita di Pisa 10:10 == break == 10:30 Temporal Constraint Networks Rina Dechter -- University of California at Los Angeles Itay Meiri -- University of California at Los Angeles Judea Pearl -- University of California at Los Angeles 11:05 Localizing Temporal Constraint Propagation Johannes A. G. M. Koomen -- University of Rochester 11:40 A Non-Reified Temporal Logic Fahiem Bacchus -- University of Waterloo Josh Tenenberg -- University of Rochester Johannes A. Koomen -- University of Rochester --------------- Ballroom: Default Reasoning; Tractable Reasoning ----- 9:00 What the Lottery Paradox Tells Us About Default Reasoning David Poole -- University of British Columbia 9:35 Hard Problems for Simple Default Logics Henry A. Kautz -- AT&T Bell Laboratories Bart Selman -- University of Toronto 10:10 == break == 10:30 Some Results Concerning the Computational Complexity of Abduction Tom Bylander -- The Ohio State University Dean Allemang -- The Ohio State University Michael C. Tanner -- The Ohio State University John R. Josephson -- The Ohio State University 11:05 Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning Alex Borgida -- Rutgers University David W. Etherington -- AT&T Bell Laboratories 11:40 Towards a Theory of Access-Limited Logic for Knowledge Representation J. M. Crawford -- The University of Texas at Austin Benjamin Kuipers -- The University of Texas at Austin ======================================================================== WEDNESDAY, MAY 17 -- AFTERNOON ***** FREE AFTERNOON ***** ======================================================================== ======================================================================== THURSDAY, MAY 18 -- MORNING --------------- Ontario Room: Nonmonotonic Reasoning II -------------- 9:00 What Does a Conditional Knowledge Base Entail? Daniel Lehmann -- Hebrew University 9:35 Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming Teodor C. Przymusinski -- University of Texas at El Paso 10:10 == break == 10:30 Argument Systems: A Uniform Basis for Nonmonotonic Reasoning Fangzhen Lin -- Stanford University Yoav Shoham -- Stanford University 11:05 Between Circumscription and Autoepistemic Logic Vladimir Lifschitz -- Stanford University 11:40 Relating Autoepistemic and Default Logics Wiktor Marek -- University of Kentucky Miroslaw Truszczynski -- University of Kentucky --------------- Ballroom: Planning and Reasoning about Action -------- 9:00 Synthesizing Information-Tracking Automata from Environment Descriptions Stanley J. Rosenschein -- Teleos Research 9:35 Situated Control Rules Mark Drummond -- NASA Ames Research Center 10:10 == break == 10:30 ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus Edwin P. D. Pednault -- AT&T Bell Laboratories 11:05 Inheritance in Automated Planning Josh Tenenberg -- University of Rochester 11:40 Making Situation Calculus Indexical Devika Subramanian -- Stanford University John Woodfill -- Stanford University ======================================================================== 12:15 - 2:00 LUNCH ======================================================================== THURSDAY, MAY 18 -- AFTERNOON --------------- Ballroom: Plenary Symposium ---------------------------- Against Representation: The Opposition Speaks Organized and Moderated by David Kirsh, MIT Speaker: Geoffrey Hinton, University of Toronto "Connectionist Symbol Processing" Respondent: Danny Bobrow, Xerox PARC Speaker: Stan Rosenschein, Teleos Research "No Representation Without Information" Respondent: Drew McDermott, Yale University Speaker: John Perry, Stanford University/CSLI "Intelligence is Attunement to Incremental Information" Respondent: Robert Moore, SRI International