Login / Signup
Hyperequivalence of Programs and Operators.
Miroslaw Truszczynski
Stefan Woltran
Published in:
ISAIM (2008)
Keyphrases
</>
control structures
semantics for logic programs
stable models
autoepistemic logic
minimal models
model theoretic
decision trees
logic programs
fixpoint
artificial intelligence
high level
data management
deductive databases