- Araya, C. and F. Brown. 1989. "SCHEMATA: A Language for Deduction." Technical Report TR-89-8, Department of Computer Science, University of Kansas.Google Scholar
- Blessan, A. 1972. "A General Interpreted Modal Calculus." Yale Univ. Press.Google Scholar
- Brown, F.M. 1986a. "A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity." In Proceedings of the AAAi-86 Fifth National Conference on Artificial Intelligence. Volume 1 Science. Morgan Koufmann Publishers, Inc. Las Altos, CA.Google Scholar
- Brown ,F.M. 1986b. "An Experimental Logic based on the Fundamental Deduction Principal." Artificial Intelligence vol. 30 no. 2, pp 117-263. North Holland. Google ScholarDigital Library
- Brown, F. M. 1987. "A modal logic for the representation of knowledge", In Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence, Lawrence, KS, pp 135-157.Google ScholarCross Ref
- Brown, F. M. and S.S.Park. 1987. "Action, reflective possibility, and the frame problem", In Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence, Lawrence, KS, pp159-174.Google ScholarCross Ref
- Brown, F. M. 1989. "The Modal Quantificational Logic Z a Monotonic Theory of Nonmonotonic Reasoning." Technical Report TR-89-1. Department of Computer Science,University of Kansas, 83 pages,(lune).Google Scholar
- Camap, R., 1946. "Modalities and QuantiFication." Journal of Symbolic Logic. volume 11, number 2.Google Scholar
- Fikes, R.E and N.J Nilsson. 1971. "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving." Artificial Intelligence. Vol.3, No.4, pp 189-208.Google ScholarCross Ref
- Hayes, P. 1973. "The frame problem and related problems in artificial intelligence" Artificial and Human Thinking, Jossey-Bass Inc. San Francisco.Google Scholar
- Mendelson, E. 1964. "Introduction to Mathematical Logic." Van Norstand Reinhold Company, New York. Google ScholarDigital Library
- Rees, J. and W. Clinger (editors). 1986. "A Revised Report on the Algorithmic Language Scheme." MIT AI MEMO 848a.Google Scholar
- Park,&, 1987, "Doubting Thomas: Action and Belief Revision", In Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence, Lawrence, KS, Morgan Kaufmann, Los Altos, CA, pp. 175-191.Google ScholarCross Ref
- Sussman, G.J., "A Computer Model of Skill Acquisition," Elsevier, North-Holland, New York, 1975. Google ScholarDigital Library
Recommendations
Towards First-Order Nonmonotonic Reasoning
LPNMR '99: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic ReasoningWe investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in first-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered ...
Ground Nonmonotonic Modal Logic S5: New Results
We study logic programs under Gelfond's translation in the context of modal logic S5. We show that for arbitrary logic programs (propositional theories where logic negation is associated with default negation) ground nonmonotonic modal logics between T ...
Comments