| Dov M. Gabbay, C. J. Hogger, J. A. Robinson - Computers - 1998 - 818 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... | |
| Rudrapatna K. Shyamasundar - Computers - 1993 - 476 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... | |
| Robert Cummins, John L. Pollock - Computers - 1991 - 326 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.... | |
| Luigia Carlucci Aiello, Jon Doyle, Stuart Charles Shapiro - Knowledge representation (Information theory) - 1996 - 698 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... | |
| |