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

13. IJCAI 1993: Chambéry, France

Ruzena Bajcsy (Ed.): Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 -September 3, 1993. Morgan Kaufmann, 1993, ISBN 1-55860-300-X

VOLUME 1


Automated Reasoning

Abduction I

Abduction II

Deductive Planning and Theory Approximation

Theorem Proving I

Theorem Proving II

Theorem Proving III

Theorem Proving IV

Theorem Proving V

Theorem Proving VI

Theorem Proving VII

Time and Action I

Time and Action II


Cognitive Modeling

Cognitive Modeling I

Cognitive Modeling II

Cognitive Modeling III


Constraint Satisfaction Problems

Complexity

Consistency

Constraint Satisfaction Strategies I

Constraint Satisfaction Strategies II

Overdetermination and Interchangeability

Satisfiability


Distributed AI

Agent Learning

Analysis of Multi-Agent Systems I

Analysis of Multi-Agent Systems II

Multi-Agent Collaboration I

Multi-Agent Collaboration II

Multi-Agent Epistemology I

Multi-Agent Epistemology II

Multi-Agent Logic Programming

Mult-Agent Negotiation I

Multi-Agent Negotiation II


Intelligent Tuoring Systems

Intelligent Tuoring Systems I

Intelligent Tuoring Systems II


Knowledge Base Technology

Knowledge Base Technology I

Knowledge Base Technology II

Knowledge Base Technology III


Knowledge Representation

Belief Revision I

Belief Revision II

Contexts

Default Logics I

Default Logics II

Evidential Reasoning

Reasoning Under Uncertainty I

Reasoning Under Uncertainty II

Reasoning with Inconsistent or Disjunctive Information

Temporal Reasoning

Terminological Logic I

Terminological Logic II

Terminological Logic III

Terminological Logic IV

Theory of Action I

Theory of Action II


Invited Speakers


Awards


VOLUME 2


Logic Programming

Languages for AI

Logic Programming and Automated Logic Debugging

Logic Programming I

Logic Programming II


Machine Learning

Analysis

Case Based Reasoning

Combinatorial Problems

Combined Learning Methods

Complex Concept Acquisition

Genetic Algorithms

Improving Behavior

Induction

Induction of Decision Trees

Induction with Continuous Attributes

Inductive Logic Programming I

Inductive Logic Programming II

Inductive Logic Programming III

Learning and Statistics

Learning from the Environment

Search Control

Sequence Learning and Production

Theory Revision


Natural Language

Acquisition

Applications I

Applications II

Discourse/Dialogue

Explanation

Linguistic Issues

Multimedia I

Multimedia II

Non-printed Natural Language Understanding

Translation

Understanding I

Understanding II


Neural Networks

Neural Networks and Parallel AI

Neural Networks and Reasoning I

Neural Networks and Reasoning II

Neural Networks and Symbolic AI


Planning

Efficiency in Planning

Multilevel Planning

Planning and Action

Planning and Scheduling

Planning Complexity


Qualitative Reasoning and Naive Physics

Design

Diagnosis I

Diagnosis II

Diagnosis III

Modeling and Symbolic Reasoning

Simulation I

Simulation II

Spatial Reasoning

Spatial Reasoning and Planning


Robotics and Vision

Active Vision

Homing, Path Planning

Visual Motion Understanding I

Visual Motion Understanding II

Visual Navigation, Maps I

Visual Navigation, Maps II


Panels


Videos

Copyright © Sat May 16 23:23:26 2009 by Michael Ley (ley@uni-trier.de)