IJCAI  1991

Proceedings of the Twelfth International Conference

on Artificial Intelligence

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

Holographic Reduced Representations: Convolution Algebra for Compositional Distributed Representations  

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

Generating Integrated Interpretation of Partial Informa-tion Based on Distributed Qualitative Reasoning

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

Admissible Search Methods for Minimum Penalty Sequencing of Jobs with Setup Times on One and Two Machines

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

Moving Target Search   T

oru Ishida and Richard E. Korf

Planning I

Composing Real-Time Systems  

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

On Semantics of TMS     

 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

How Situated is Cognition?         

 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

Circumscribing Defaults                                     

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

Tractable Concept Languages   

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

AI in Telecommunications         

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

AI and Design              

Saul Amarel (Chair), Alvin Despain, Penny Nii, Louis Steinberg, Marty Tenenbaum, and Peter Will

Award and Invited Papers

Intelligence Without Reason                

 Rodney A. Brooks

Logic Programming in Artificial Intelligence            

 Robert A. Kowalski