Login / Signup

Quantified Equilibrium Logic and Foundations for Answer Set Programs.

David PearceAgustí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