dblp.uni-trier.de www.uni-trier.de

9. AAAI 1991: Anaheim, California

Proceedings of the 9th National Conference on Artificial Intelligence, July 14-19, 1991. AAAI Press / The MIT Press, 1991, ISBN 0-262-51059-6, Volume 1

CASE-Based Reasoning

CASE-Based Reasoning

Transformation in Design

Communication and Cooperation


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


Terminological Reasoning

Belief Functions

Truth Maintenance Systems

Copyright © Sat May 16 22:55:28 2009 by Michael Ley (ley@uni-trier.de)