Login / Signup
FLP answer set semantics without circular justifications for general logic programs.
Yi-Dong Shen
Kewen Wang
Thomas Eiter
Michael Fink
Christoph Redl
Thomas Krennwallner
Jun Deng
Published in:
Artif. Intell. (2014)
Keyphrases
</>
general logic programs
answer set semantics
answer sets
strong equivalence
logic programs
stable model semantics
normal logic programs
answer set programming
logic programming
causal theories
stable models
fixpoint
reasoning tasks
deductive databases
propositional logic
classical logic