The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoning and belief revision, action and time, planning and decision-making and reasoning about the physical world, and the relations between KR
Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and...
[Buchheit et al, 1994] Martin Buchheit, Francesco M. Donini, Werner Nutt, and Andrea Schaerf. Terminological systems revisited: Terminology = schema + views. In Proceedings of ike Twelfth National Conference on Artificial Intelligence ...
Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief revision, and metareasoning. Annotation copyright Book News, Inc. Portland,...
The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning
The KR conference is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.