STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.
Richard FikesNils J. NilssonPublished 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