Login / Signup
The Complexity of Restricted Consequence Finding and Abduction.
Alvaro del Val
Published in:
AAAI/IAAI (2000)
Keyphrases
</>
consequence finding
abductive reasoning
theorem proving
logic programming
model checking
computational complexity
relational databases
decision problems
fixed point
satisfiability problem
inference rules
plan recognition
prime implicates