9. AAAI 1991: Anaheim, California

CASE-Based Reasoning

CASE-Based Reasoning

Transformation in Design

Communication and Cooperation

Education

User Interfaces

Generation and Interaction

Syntax and Semantics I

Syntax and Semantics II

Formalisms for Coordination

Multiagent Architectures

Constraint Reasoning and Component Technologies

Constraint-Based Reasoning

Temporal Constraints

Extensions of Truth Maintenance

Parallel Support for Rule-Based Systems

Verification of Rule-Based Systems

Formal Methods in Knowledge Representation

Time and Action

Nonmonotonic Reasoning I

Nonmonotonic Reasoning II

Issues in Automated Reasoning

General Deduction Systems

Search

Terminological Reasoning

Belief Functions

Truth Maintenance Systems