Login / Signup
A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses.
Tomi Janhunen
Published in:
Answer Set Programming (2003)
Keyphrases
</>
normal logic programs
logic programs
horn clauses
stable models
logic programming
answer sets
default reasoning
search space
search algorithm
deductive databases
fixpoint
answer set semantics
propositional formulas
programming language
expressive power
probabilistic inference