Login / Signup
Game Characterizations of Logic Program Properties.
Howard A. Blair
Published in:
LPNMR (1995)
Keyphrases
</>
logic programs
logic programming
answer sets
fixpoint
answer set programming
stable models
normal logic programs
prolog programs
inductive logic programming
background knowledge
inside outside algorithm
partial deduction
loop formulas
logic program updates
horn clauses
general logic programs
desirable properties
knowledge base
computational properties
fixpoint semantics
counter examples
reasoning tasks
stable model semantics
deductive databases