An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories.
Juan Carlos CasamayorPublished in: DAISD (1992)
Keyphrases
- proof procedure
- hypothetical reasoning
- abductive logic programming
- theorem proving
- logic programs
- propositional logic
- model theoretic
- first order logic
- deductive databases
- predicate calculus
- proof procedures
- cognitive science
- logic programming
- theorem prover
- np hard
- decision procedures
- answer sets
- probabilistic reasoning
- automated reasoning
- fixpoint
- propositional satisfiability
- constraint satisfaction problems
- background knowledge