Login / Signup
A Logic Program Characterization of Causal Theories.
Paolo Ferraris
Published in:
IJCAI (2007)
Keyphrases
</>
causal theories
answer set programming
general logic programs
logic programs
answer sets
logic programming
answer set semantics
stable models
reasoning tasks
fixpoint
normal logic programs
stable model semantics
deductive databases
proof theory
high level
representing knowledge