Atlas home || Conferences | Abstracts | about Atlas
Sponsor: Principles of Knowledge Representation and Reasoning, Incorporated
Homepage: http://www.kr.org/kr/kr00/
Organizers: Anthony G. Cohn
Description:
Explicit representations of knowledge manipulated by inference algorithms provide an important foundation for much work in
Artificial Intelligence, including natural language dialogue systems, high level vision, robotics and other knowledge based
systems.
The KR conferences have established themselves as the leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational manipulation of knowledge. The traditional very high standard of papers will be maintained at KR2000.
Expanding on that role, KR2000 will be a place for the exchange of news, issues, and results among the entire community of researchers in the principles and practices of knowledge representation and reasoning systems.
Topics: Representational Formalisms: Representations of Belief, Intention, Time, Space, Action, Events; Nonmonotonic Logics; Description Logics. Reasoning Techniques: Deduction, Induction, Abduction, Reasoning under Uncertainty, Efficiency Measures, Complexity, Parallel and Distributed Implementations. Implemented KR&R Systems: Reports, Updates, Comparisons, Evaluations. Significant Applications: Planning, Robotics, Diagnosis, Natural Language, Multi-Agent Systems, Knowledge Bases. Implications for/of: Machine Learning, Decision Theory, Databases, Software Engineering.
Date received: September 27, 1999
© 2008 Atlas Conferences Inc.