[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 ...
The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logical specifications of reasoning behaviors and representation formalisms,...
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 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,...
Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning
Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning held in Rome, Italy, June 10-14, 2012.
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.
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference: Menlo Park, California
Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning held in Toronto, Ontario, Canada, May 9-13, 2010.
KR Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning
This collection of extended versions of 12 papers from the First InternationalConference on Principles of Knowledge Representation and Reasoning provides a snapshot of the bestcurrent work in AI on formal methods and principles of ...