Application of theorem proving to problem solving (1969)

Cached

Download Links

by Cordell Green
Citations:223 - 1 self

Documents Related by Co-Citation

1483 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
1737 STRIPS: A new approach to the application of theorem proving to problem solving. Arti cial Intelligence 2:189{208 – R Fikes, N J Nilsson - 1971
521 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
960 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
412 UCPOP: A Sound, Complete, Partial Order Planner for ADL – J. Scott Penberthy, Daniel S. Weld - 1992
622 Planning for conjunctive goals – D Chapman - 1987
255 Practical Planning: Extending the Classical (AI) Planning Paradigm – D E Wilkins - 1988
386 Systematic Nonlinear Planning – David Mcallester, David Rosenblitt - 1991
118 Formal theories of action – V Lifschitz - 1987
431 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
15 The case for domain-speci c frame axioms – A Haas - 1987
289 ADL: Exploring the middle ground between STRIPS and the situation calculus – E Pednault - 1989
169 Extending planning graphs to an ADL subset – Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos - 1997
821 Towards a General Theory of Action and Time – F Allen - 1984
966 Negation as failure – K Clark - 1978
251 Nonmonotonic logic and temporal projection – S Hanks, D McDermott - 1987
332 Programs with Common Sense – John McCarthy - 1968
488 Applications Of Circumscription To Formalizing Common Sense Knowledge – John McCarthy - 1986
315 O-Plan: the Open Planning Architecture – Ken Currie, Austin Tate, South Bridge - 1990