15. IJCAI 1997: Nagoya, Japan

VOLUME 1

AI Challenges

Challenge 1

Challenge 2

Challenge 3

Automated Reasoning

Automated Reasoning 1: Belief Revision

Automated Reasoning 2: Belief Revision

Automated Reasoning 3: Theorem Proving

Automated Reasoning 4: Propositional KBS

Automated Reasoning 5: Description Logic

Automated Reasoning 6: Nonmonotonism

Automated Reasoning 7: Nonmonotonism for Logic Programming

Automated Reasoning 8: Modal Logic

Automated Reasoning 9

Case-Based Reasoning

Case-Based Reasoning 1

Case-Based Reasoning 2

Cognitive Modeling

Cognitive Modeling 1

Cognitive Modeling 2

Cognitive Modeling 3

Computer-Aided Eduction

Constraint Satisfaction

Constraint Satisfaction 1: Constraint Programming

Constraint Satisfaction 2: SAT

Constraint Satisfaction 3: Local Consistency

Constraint Satisfaction 4

Diagnosis and Qualiative Reasoning

Diagnosis 1

Diagnosis 2

Diagnosis 3

Qualiative Reasoning 1: Modeling Support

Qualiative Reasoning 2: Perception and Belief

Qualiative Reasoning 3: Geometric and Spatial Reasoning

Qualiative Reasoning 4: Causality

Qualiative Reasoning 5

Distributed Artificial Intelligence

Distributed AI 1: Interagent Communication

Distributed AI 2: Coordination and Cooperation

Distributed AI 3: Multiagent Algorithms

Distributed AI 4: Multiagent Algorithms

Expert Systems

Game Playing

Game Playing 1: Go

Game Playing 2

Information Retrieval

Information Retrieval Distinguished Paper

Information Retrieval 1

Information Retrieval 2

Information Retrieval 3

Information Retrieval 4

VOLUME 2

Learning

Learing 1

Learing 2: Reinforcement Learning

Learing 3: Decision Trees

Learing 4: Classification

Learing 5: Applications

Learing 6: Logic and IPL

Learing 7: Dynamic Environments

Learing 8

Natural-Language Processing and Graphical Presentatioon

Natural-Language Processing 1: Generation

Natural-Language Processing 2: Machine Translation

Natural-Language Processing 3: Dialogue and Discourse

Natural-Language Processing 4: Dialogue and Discourse

Natural-Language Processing 5: Dialogue and Discourse

Graphics

Neural Networks

Neural Nets 1: Rule Extractions

Neural Nets 2: Language and Structure Processing

Neural Nets 3: Neurobiologically Inspired Computation

Neural Nets 4: Learning Algorithms and Architectures

Planning and Scheduling

Planning 1: Relations among Techniques

Planning 2: Reactive Planning

Planning 3: Planning under Uncertainty

Planning 4: Reasoning about Plans

Planning 5: Applications and Support

Scheduling

Probabilistic Reasoning

Probabilistic Reasoning Distinguisted Paper

Probabilistic Reasoning 1: Efficiency

Probabilistic Reasoning 2: Causal Discovery

Probabilistic Reasoning 3

Robotics

Robotics 1

Robotics 2

Search

Search 1: Depth-First Search

Search 2: Bin Packing

Temporal Reasoning

Temporal Reasoning Distinguished Paper

Temporal Reasoning 1

Temporal Reasoning 2

Temporal Reasoning 3

Vision

Vision 1

Vision 2: Stereo Vision

Panel

Videos

Doctoral Consortium Abstracts

Invited Speakers

Awards