RKF - Related Papers by the Formal Reasoning Group

Talk Slides

RKF kickoff-meeting slides in PDF format and in Postscript format.

Papers

Eyal Amir, (De)Composition of Situation Calculus Theories, Seventeenth Natl' Conference on Artificial Intelligence (AAAI'2000), 2000.  [new]
John McCarthy Approximate objects and approximate theories, 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), 2000.
Eyal Amir and Sheila McIlraith, Partition-Based Logical Reasoning, 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), 2000.
E. Amir, Towards a Formalization of Elaboration Tolerance: Adding and Deleting Axioms, in Frontiers of Belief Revision, M. Williams and H. Rott eds., Kluwer, 2000.
John McCarthy, Creative Solutions to Problems, Workshop on Artificial Intelligence and Creativity (AISB'99), Edinburgh, Scotland. April, 1999.
John McCarthy, Philosophical and scientific presuppositions of logical AI, Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, edited by H. J. Levesque and F. Pirri, Springer-Verlag, 1999.
Eyal Amir, Object-Oriented First-Order Logic, Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'99), Stockholm, Sweden. August, 1999.
John McCarthy, Elaboration Tolerance, Fourth Symposium on the Logical Formalizations of Commonsense Reasoning, London, England 1998.
John McCarthy and Sasa Buvac, Formalizing Context (Expanded Notes), CSLI Lecture Notes vol. 81, Center for the Study of Language and Information, Stanford University, Stanford, California, 1998.
John McCarthy, Notes on Formalizing Context, 13th Intl' Joint Conference on Artificial Intelligence (IJCAI'93), 1993.


Eyal Amir
Last modified: Mon Jul 17 10:53:32 PDT 2000