STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.

Richard Fikes Nils J. Nilsson

Published in: IJCAI (1971)

Keyphrases

theorem proving
first order logic
proof planning
inference rules
theorem prover
artificial intelligence
parallel search
term rewriting
search algorithm
heuristic search
decision procedures
automatic programming
distributed search
geometry theorem proving
automated deduction
logical inference