Intelligent Backtracking for Automated Deduction in FOL.
Stan MatwinTomasz PietrzykowskiPublished in: Logic Programming Workshop (1983)
Keyphrases
- automated deduction
- theorem proving
- inference rules
- theorem prover
- first order logic
- search algorithm
- decision support
- intelligent systems
- constraint satisfaction
- artificial intelligence
- knowledge representation
- information retrieval
- deductive databases
- search space
- machine learning
- decision making
- search engine
- constraint propagation
- agent technology
- horn clauses
- timed automata
- dependency directed backtracking