Strong Equivalence for Causal Theories.

Published in: LPNMR (2004)

Keyphrases

causal theories
strong equivalence
answer set programming
logic programs
answer set semantics
answer sets
logic programming
stable models
general logic programs
reasoning tasks
knowledge representation
fixpoint
semantic web
nonmonotonic reasoning
general purpose
propositional logic