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

14. IJCAI 1995: Montréal, Québec, Canada

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal, Québec, Canada, August 20-25 1995. Morgan Kaufmann, 1995, 2 Volumes

VOLUME 1

Action and Perception

Vision: Early Vision

Vison: Active Vision

Vision: Qualitative Methods

Vision: Systems and Architectures 1

Vision: Systems and Architectures 2

Vision: Vision and Other Perception

Robotics: Multi-Agent Systems

Robotics: Navigation

Robotics: Learning

Robotics: Formal Methods

Auditory Scene Analysis


Automated Reasoning

Proof Planning

Analogy and Abstraction

Abduction

Search 1

Search 2

Search 3

Search 4

Satisfiability 1

Satisfiability 2

Defaults

Theorem Proving 1

Theorem Proving 2

Reasoning about Programs


Case Based Reasoning

Case Based Reasoning 1

Case Based Reasoning 2

Case Based Reasoning 3


Cognitive Modelling

Cognitive Modelling 1

Cognitive Modelling 2

Cognitive Modelling 3

Cognitive Modelling 4


Connectionist Models

Connectionist Models 1

Connectionist Models 2

Connectionist Models 3

Connectionist Models 4

Connectionist Models 5


Constraint Satisfaction

Constraint Satisfaction 1

Constraint Satisfaction 2

Constraint Satisfaction 3

Constraint Satisfaction 4

Constraint Satisfaction 5

Constraint Satisfaction 6

Constraint Satisfaction 7

Constraint Satisfaction 8


Distributed AI

Coalitions

Multiple Agents 1

Multiple Agents 2

Distributed Planning


Genetic Algorithms

Genetic Algorithms 1

Genetic Algorithms 2


Knowledge Base Technology

Knowledge Base Technology 1

Knowledge Base Technology 2

Planning, Monitoring, and Control


Knowledge Representation

Description Logics

Explanation

Knowledge Compilation

Commonsense Knowledge

Complexity

Diagrams

Spatial Reasoning

Shape and Space

Information Gathering


Awards

Research Excellence Award

Computers and Thought Award


Invited Speakers


VOLUME 2

Learning

Learning 1

Learning 2

Learning 3

Learning 4

Reinforcement and Markov Models 1

Reinforcement and Markov Models 2

Reinforcement and Markov Models 3

Statistical Learning 1

Statistical Learning 2

Pac Learning

Learning 5

Inductive Logic Programming

Learning 6

Instance-Based


Natural Language

Discourse 1

Discourse 2

Presentation Generation

Tense and Aspect

Dictionary Construction

Statistical Approaches

Understanding 1

Understanding 2

Understanding 3

Machine Translation

Applications

Parsing and Generation

Formal Methods


Non-Monotonic Reasoning

Non-Monotonic Reasoning 1

Non-Monotonic Reasoning 2

Non-Monotonic Reasoning 3

Non-Monotonic Reasoning 4

Non-Monotonic Reasoning 5

Non-Monotonic Reasoning 6

Belief Revision 1

Belief Revision 2


Planning

Uncertainty

Solution Quality

Algorithm

Search 1

Search 2

Planning Graph Analysis

Real Time Search

Applications and Evaluation 1

Applications and Evaluation 2

Plan Recognition


Qualitative Reasoning and Diagnosis

Diagnosis 1

Diagnosis 2

Modelling 1

Modelling 2

Simulation 1

Simulation 2

Monitoring

Reasoning about Function


Reasoning under Uncertainty

Probability and Entropy

Imprecise Probabilities

Bayes Nets

Belief Functions

Multiple-Valued Logic

Decision Theory


Temporal Reasoning

Temporal Reasoning 1

Temporal Reasoning 2

Temporal Reasoning 3

Temporal Reasoning 4

Temporal Reasoning 5

Temporal Reasoning 6


Panels


Videos

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