7th KR 2000: Breckenridge, Colorado, USA

Refine list

showing all ?? records

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
a service of  Schloss Dagstuhl - Leibniz Center for Informatics