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

Richard Fikes Nils J. Nilsson

Published in: Artif. Intell. (1971)

Keyphrases

theorem proving
proof planning
parallel search
automated theorem proving
first order logic
decision procedures

inference rules
theorem prover
term rewriting
combinatorial search
automated reasoning

automated deduction
proof procedure
graphical models
distributed artificial intelligence
equational theories

geometry theorem proving
automatic programming
artificial intelligence
multi agent systems
search algorithm