Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 4 of 4 on Proc. First International Conference on Principles of Knowledge Representation and....
" Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), pages 505-516, 1989. "
Knowledge in Action: Logical Foundations for Specifying and Implementing ... - Page 417
by Raymond Reiter - 2001 - 448 pages
Limited preview - About this book

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5 ...

Dov M. Gabbay, C. J. Hogger, J. A. Robinson - Computers - 1998 - 814 pages
...[Przymusinski, 1989b] TC Przymusinski. Three-valued non-monotonic formalisms and logic programming. In Proceedings of the First International Conference...of Knowledge Representation and Reasoning (KR '89), Toronto, 1989. [Przymusinski, 1991] TC Przymusinski. Three-valued non-monotonic formalizations and...
Limited preview - About this book

Foundations of Software Technology and Theoretical Computer Science: 13th ...

Rudrapatna K. Shyamasundar - Computers - 1993 - 462 pages
...semantics for nonmonotonic reasoning: A survey. In RJ Brachman, HJ Levesque, and R. Reiter, editors, Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), pages 505-516, 1989. Reprinted in Readings in Uncertain Reasoning, G. Shafer and J. Pearl (eds.), Morgan...
Limited preview - About this book

Philosophy and AI: Essays at the Interface

Robert Cummins, John Pollock - Philosophy - 1995 - 304 pages
...Naval Research Laboratory Grant #N00014-87-K-2029. An earlier version of this paper was presented at the First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), Toronto, May 1989. References Adams, E. 1975. The logic of conditionals. Dordrecht, Netherlands: D....
Limited preview - About this book

Principles of Knowledge Representation and Reasoning: Proceedings of the ...

Stuart Shapiro - Computers - 1996 - 671 pages
...Sandewall. Combining logic and differential equations for describing real-world systems. In RJ Brachman, H. Levesque, and R. Reiter, editors, Proceedings of the...Knowledge Representation and Reasoning (KR '89), pages 412-420. Morgan Kaufmann Publishers, San Francisco, CA, 1989. [28] R. Scherl and HJ Levesque. The frame...
Full view - About this book




  1. My library
  2. Help
  3. Advanced Book Search