References

Davis1990

Davis, E. 1990. Representations of Commonsense Knowledge. Morgan Kaufmann Publishers, Inc. San Mateo, California.

Fikes & Nilsson1971

Fikes, R., and Nilsson, N. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2:189-208.

Genesereth & Hsu1989

Genesereth, M. R., and Hsu, J. 1989. Partial programs. Technical Report Logic Group 89-20, Department of Computer Science, Stanford University.

Gupta & Nau1991

Gupta, N., and Nau, D. 1991. Complexity results for blocks-world planning. In Proceedings of AAAI-91.

Harel1984

Harel, D. 1984. Dynamic logic. In Handbook of Philosophical Logic, volume II: Extensions of Classical Logic, D. Gabbay and F. Guenthner, Ed., 497-604. Dordrecht, the Netherlands: Reidel Publishing Company.

Harmelen & Balder1992

Harmelen, F., and Balder, J. 1992. (ML) : a formal language for KADS models of expertise. Knowledge Acquisition 4(1):127-161. Special issue: The KADS approach to knowledge engineering.

Lifschitz1990

Lifschitz, V. 1990. Frames in the space of situations. Artificial Intelligence 46:365-376.

Lifschitz1993

Lifschitz, V. 1993. Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, D. Gabbay and C.J. Hogger, Ed., volume 3: Non-monotonic Reasoning and Uncertain Reasoning. Oxford University Press.

Lifschitz1995

Lifschitz, V. 1995. Nested abnormality theories. Artificial Intelligence 74:1262-1277.

Lin1997

Lin, F. 1997. Applications of the situation calculus to formalizing control and strategic information: The prolog cut operator. In Proceedings of IJCAI-97, 1412-1418.

McCarthy & Hayes1969

McCarthy, J., and Hayes, P. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4:463-502.

McCarthy1959

McCarthy, J. 1959. Programs with common sense. In Mechanization of Thought Processes, Proceedings of the Symposium of the National Physics Laboratory, 77-84.

McCarthy1980

McCarthy, J. 1980. Circumscription -a form of non-monotonic reasoning. Artificial Intelligence 13:27-39.

McCarthy1985

McCarthy, J. 1985. Formalization of STRIPS in situation calculus. Technical Report Formal Reasoning Group, Department of Computer Science, Stanford University.

McCarthy1986

McCarthy, J. 1986. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence 28:89-116.

McCarthy1988

McCarthy, J. 1988. Mathematical logic in artificial intelligence. Daedalus 117:297-311.

McCarthy1990a

McCarthy, J. 1990a. Coloring maps and the Kowalski doctrine. In Formalizing common sense: papers by John McCarthy. Edited by Vladimir Lifschitz, Ablex, Norwood, NJ.

McCarthy1990b

McCarthy, J. 1990b. Formalizing common sense: papers by John McCarthy. Edited by Vladimir Lifschitz, Ablex, Norwood, NJ.

McCarthy1995

McCarthy, J. 1995. Making robots conscious of their mental states. Technical Report Formal Reasoning Group, Department of Computer Science, Stanford University.

McCarthy1997

McCarthy, J. 1997. Course on formalization of common sense - non-monotonic reasoning. Lecture notes of CS323, Department of Computer Science, Stanford University.

Reiter1993

Reiter, R. 1993. Proving properties of states in the situation calculus. Artificial Intelligence 64:337-351.

Sierra1996

Sierra, J. 1996. Software agents require formal knowledge level models. Ph.D. Dissertation, Free University of Brussels.

Steels1996

Steels, L. 1996. The spontaneous self-organization of an adaptive language. Machine Intelligence 15.