Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (I)
IJCAI-91 Contents Vol 1
Proceedings of the Twelfth International Conference on Artificial Intelligence
24-30 August 1991
CONTENTS
Architectures & Languages
Knowledge Base Management
A Methodology for Systematic Verification of OPS5-Based Al Applications
G. Ravi Prakash, E. Subrahmanian, and H.N. Mahabala .
Intelligent Assistance through Collaborative Manipulation
Loren G. Terveen, David A. Wroblewski, and Steven N. Tighe
Effects of Parallelism on Blackboard System Scheduling
Keith Decker, Alan Garvey, Marty Humphrey, and Victor Lesser
The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics
Rick EvertszConnectionist & Parallel Rule Systems
Tony Plate
A Macro Actor/Token Implementation of Production Systems on a Data-Flow Multiprocessor
Andrew Sohn and Jean-Luc Gaudiot
Performance Comparison of Models for Multiple Rule Firing
Steve Kuo and Dan Moldovan
On Supporting Associative Access and Processing over Dynamic Knowledge Bases
N. Robinson Distributed Al I
Negotiations Over Time in a Multi-Agent Environment: Preliminary Report
Sarit Kraus and Jonathan Wilkenfeld
A Decision-Theoretic Approach to Coordinating Multi-agent Interactions
Piotr J. Gmytrasiewicz, Edmund H. Durfee, and David K. Wehe
Towards a Formal Theory of Communication for Multi-agent Systems
Munindar P. Singh
Distributed Al II
Communication and Inference through Situations
Hideyuki Nakashima, Stanley Peters, and Hinrich Schiitze
Commitment and Effectiveness of Situated Agents
David N. Kinny and Michael P. Georgeff
Takashi Nishiyama, Osamu Katai, Sosuke Iwai, Tetsuo Sawaragi, and Hiroshi Masuichi
Automated Reasoning
Theorem Proving I
A Resolution Method for Temporal Logic
Michael Fisher
Formalizing and Using Persistency
Thomas Guckenbiehl
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code
Fausto Giunchiglia and Paolo Traverso
Ordering-Based Strategies for Horn Clauses
achum Dershowitz
Theorem Proving II
A Model Elimination Calculus for Generalized Clauses
Toni Bollinger
Consolution and its Relation with Resolution
Elmar Eder
How to Prove Higher Order Theorems in First Order Logic
Manfred Kerber
Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method
Hitoshi Iba and Hirochika Inoue
Theorem Proving III
An Inference Rule for Hypothesis Generation
Robert Demolombe and Luis Farinas del Cerro .
Consequence-Finding Based on Ordered Linear Resolution
Katsumi Inoue
Proof Transformation with Built-in Equality Predicate
Christoph Lingenfelder and Axel Pracklein
Search I
An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms
C.J.H. McDiarmid and G.M.A. Provan
Anup K. Sen, A. Bagchi, and Bam K. Sinha
Learning Admissible Heuristics while Solving Problems
Anna Bramanti-Gregor and Henry W. Davis
Search II
Using Aspiration Windows for Minimax Algorithms
Reza Shams, Hermann Kaindl, and Helmut Horacek
High-Performance A* Search Using Rapidly Growing Heuristics
Stephen V. Chenoweth and Henry W. Davis
oru Ishida and Richard E. Korf
Planning I
Stuart J. Russell and Shlomo Zilberstein
Bottleneck Identification Using Process Chronologies
Eric Biefeld and Lynne Cooper
Incomplete Information and Deception in Multi-Agent Negotiation
Gilad Zlotkin and Jeffrey S. Rosenschein
Solving "How to Clear a Block" with Constructive Matching Methodology
Marta Franova and Yves Kodratoff
Planning II
Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects
Edwin PD. Pednault
A Formal Model for Classical Planning
Jens Christ en sen and Adam Grove
Localized Search for Multiagent Planning
Amy L. Lanskv
Commitment Strategies in Planning: A Comparative Analysis
Steven Minton, John Bresina, and Mark Drummond
Planning III
Parallel Non-Binary Planning in Polynomial Time
Christer Backstom and Inger Klein
Complexity Results for Planning
Tom Bylander
A Message Passing Algorithm for Plan Recognition
Dekang Lin and Randy Goebel
The Downward Refinement Property
Fahiem Bacchus and Qiang Yang
Reason Maintenance
A Logically Complete Reasoning Maintenance System Based on a Logical Constraint
Solver J.C. Madre and O. Coudert
Contexts for Nonmonotonic RMSes
Jerome Euzenat
Wang Xianchang and Chen Huowang
Prioritized Defaults: Implementation by TMS and Appli-cation to Diagnosis
Ulrich Junker
Constraint Satisfaction
On the Feasibility of Distributed Constraint Satisfaction
Zeev Collin, Rina Dechter, and Shmuel Katz
An Efficient Arc Consistency Algorithm for a Class of CSP Problems
Yves Deville and Pascal Van Hentenryck
Where the Really Hard Problems Are
Peter Cheeseman, Bob Kanefsky, and William M. Taylo
Cognitive Modeling
Cognitive Modeling 1
Jacobijn Sandberg and Bob Wielinga
Index Transformation Techniques for Facilitating Creative Use of Multiple Cases
Katia P. Svcara and D. Navinchandra
Plan Debugging in an Intentional System
Gregg Collins, Lawrence Birnbaum, Bruce Krulwich, and Michael Freed
Cognitive Modeling 2
Reasoning Visually about Spatial Interactions
N. Hari Narayanan and B. Chandrasekaran
A Cognitive Model of Figure Segregation
Akira Shimaya and lsamu Yoroizawa
An MFIS for Computing a Raw Cognitive Map
W.K. Yeap, M.E. Jeffries, and PS. Naylor
Knowledge Representation
Nonmonotonic Reasoning— Modal Logics
Nonmonotonic Databases and Epistemic Queries
Vladimir Lifschitz
Commonsense Entailment: A Modal Theory of Non-monotonic Reasoning
Nicholas Asher and Michael Morreau
Modal Interpretations of Default Logic
Miroslaw Truszcz vnski
Constructive Tightly Grounded Autoepistemic Reasoning
Ilkka N.F. Niemela
Nonmonotonic Reasoning—Conditional Logics
A Unified View of Consequence Relation, Belief Revision and Conditional Logic
Hirofumi Katsuno and Ken Satoh
Inaccessible Worlds and Irrelevance: Preliminary Report
Craig Boutilier
Possibilistic Logic, Preferential Models, Non-monotonic-ity and Related Issues
Didier Dubois and Henri Prade
Nonmonotonic Reasoning—Circumscription
Query Answering in Circumscription
Nicolas Helft, Katsumi I none, and David Poole
Circumscription and Definability
Yves Moinard and Raymond Rolland
Zhaogang Qian and Keki B. Irani
Concept Languages
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Franz Baader
A Scheme for Integrating Concrete Domains into Concept Languages
Franz Baader and Philipp Hanschke
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt
Concept Languages, Inheritance Reasoning
A Correspondence Theory for Terminological Logics: Preliminary Report
Klaus Schild
Generalizing Term Subsumption Languages to Fuzzy Logic
John Yen
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstates, and Zombies in Nonmonotonic Inheritanc
David S. Touretzky, Richmond H. Thomason, and John F. Horty
Belief
A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs—Part 1
Sukhamay Kundu
A Model of Decidable Introspective Reasoning with Quantifying-In
Gerhard Lakemeyer
Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics
Anand S. Rao and Michael P. Georgef
Topics in Knowledge Representation
A Model of Events and Processes
Periklis Belegrinos and Michael Georgeff
Parameter Structures for Parametrized Modal Operators
Hans Jurgen Ohlbach and Andreas Herzig
Measuring and Improving the Effectiveness of Representations
Russell Greiner and Charles Elkan
Propositional Non-Monotonic Reasoning and Inconsis-tency in Symmetric Neural Networks
Gadi Pinkas
Reasoning with Inconsistency
Contextual Negations and Reasoning with Contradictions
Walter Alexandre Car nielli, Luis Farinas del Cerro, and Mamede Lima Marques
Ex contradictione nihil sequitur
Gerd Wagner
Panels
The Role of Chess in Artificial Intelligence Research Robert Levinson (Chair)
Feng-hsiung Hsu, T. Anthony Marsland, Jonathan Schaeffer, and David E. Wilkins
Multiple Approaches to Multiple Agent Problem Solving James Hendler (Chair)
Danny Bobrow, Les Gasser, Carl Hewitt, and Marvin Minsky
Andrew Jennings (Chair), Adam Irgon, Akira Kurematsu, Greg Vessonder, and Jon R. Wright
Massively Parallel Artificial Intelligence Hiroaki Kitano (Chair
James Hendler, Tetsuya Higuchi, Dan Moldovan, and David Waltz
Saul Amarel (Chair), Alvin Despain, Penny Nii, Louis Steinberg, Marty Tenenbaum, and Peter Will
Award and Invited Papers
Rodney A. Brooks
Logic Programming in Artificial Intelligence
Robert A. Kowalski
DISCLAIMER: Please note that IJCAI Organization is the sole copyright owner of all materials published in the Proceedings of its conferences. All rights are reserved. No part of any IJCAI conference Proceedings may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, which is also the IJCAI Organization. Contact information for obtaining written permission can be found here.