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.
-
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