Login / Signup
Abductive Logic Programming by Nonground Rewrite Systems.
Fangzhen Lin
Jia-Huai You
Published in:
AAAI (2008)
Keyphrases
</>
abductive logic programming
rewrite systems
term rewriting
proof procedure
theorem proving
logic programs
active rules
logic programming
theorem prover
first order logic
deductive databases
integrity constraints
database
answer sets
operational semantics
answer set programming
active databases