Head-Elementary-Set-Free Logic Programs.

Martin Gebser Joohyung Lee Yuliya Lierler

Published in: LPNMR (2007)

Keyphrases

logic programs
stable models
logic programming
definite clause
answer sets
answer set programming
fixpoint
background knowledge
computational properties
logic programs with negation
object oriented
function symbols
partial deduction