Login / Signup
On Modular Termination Proofs of General Logic Programs
Annalisa Bossi
Nicoletta Cocco
Sandro Etalle
Sabina Rossi
Published in:
CoRR (2000)
Keyphrases
</>
general logic programs
logic programs
causal theories
deductive databases
autoepistemic logic
logic programming
answer set programming
normal logic programs
fixpoint semantics
artificial intelligence
theorem proving
general purpose