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

15. IJCAI 1997: Nagoya, Japan

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997. Morgan Kaufmann, 1997, 2 Volumes

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

Copyright © Fri Mar 12 17:16:01 2010 by Michael Ley (ley@uni-trier.de)