12. IJCAI 1991: Sydney, New South Wales, Australia

VOLUME 1

Architectures & Languages

Knowledge Base Management

Connectioonist & Parallel Rule Systems

Distributed AI I

Distributed AI II

Automated Reasoning

Theorem Proving I

Theorem Proving II

Theorem Proving III

Search I

Search II

Planning I

Planning II

Planning III

Reason Maintenance

Constraint Satisfaction

Cognitive Modeling

Cognitive Modeling 1

Cognitive Modeling 2

Knowledge Representation

Nonmonotonic Reasoning - Modal Logics

Nonmonotonic Reasoning - Conditional Logics

Nonmonotonic Reasoning - Circumscrition

Concept Languages

Concept Languages, Inheritance Reasoning

Belief

Topics in Knowledge Representation

Reasoning with Inconsistency

Panels

Awards and Invited Papers

VOLUME 2

Learning & Knowledge Acquisition

Explanation-based Learning

Classifiers/Genetic Algorithms

Classification & Generalization

Inductive Learning I

Inductive Learning II

Inductive Learning III

Inductive Logic Programming

Concept Formation

Case-based Learning

Knowledge Acquisition

Connectionist Models

Logic Programming

Logic Programming I

Logic Programming II

Logic Programming III

Natural Language

Natural Language Processing

Pragmatics

Natural Language Systems

Representation and Semantics

Parsing and Morphology

Philosophical Foundations

Philosophical Foundations I

Philosophical Foundations II

Principles of AI Applications

Intelligent Tutoring Systems

Qualitative Reasoning

Diagnosis

Qualitative Modeling

Qualitative Modeling, Temporal Reasoning

Reasoning under Uncertainty I

Reasoning under Uncertainty II

Robotics

Architectures

Navigation

Vision

Object Recognition

Interpretation