Login / Signup
Quantified Equilibrium Logic and Foundations for Answer Set Programs.
David Pearce
Agustín Valverde
Published in:
ICLP (2008)
Keyphrases
</>
answer set programs
answer set programming
logic programs
answer sets
stable models
artificial intelligence
logic programming
update operators
search algorithm
knowledge representation
reasoning tasks