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

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

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.