7. KR 2000: Breckenridge, Colorado, USA

Spatial Reasoning

Non Monotonic Reasoning 1

Representation of Action

Integration of Knowledge Sources

Automated Reasoning 1


Description Logics


Temporal Reasoning 1

Automated Reasoning 2

Learning and Decision Making

Applications and Systems

Representation Formalisms

Temporal Reasoning 2

Knowledge Engineering

Non Monotonic Reasoning 2

Planning (Joint program with AIPS 2000)

Panel Abstracts

Acknowledgement: The information on this page was contributed by Andrei Voronkov