References

FN71

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

Gre69

C. Green. Applications of theorem proving to problem solving. In Proceedings IJCAI 69, pages 219-240, 1969.

Lif87

Vladimir Lifschitz. On the semantics of strips. In Michael Georgeff and Amy Lansky, editors, Reasoning about Actions and Plans. Morgan-Kaufmann, 1987. reprinted in Readings in Planning Allen, Handler and Tate (eds.), Morgan-Kaufmann, 1990.

McC79

John McCarthy. First Order Theories of Individual Concepts and Propositions. In Donald Michie, editor, Machine Intelligence, volume 9. Edinburgh University Press, Edinburgh, 1979. Reprinted in [McC90].

McC86

John McCarthy. Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence, 28:89-116, 1986. Reprinted in [McC90].

McC90

John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, 1990.