A Descriptive Approach to Preferred Answer Sets.

Ján Sefránek Alexander Simko

Published in: INAP/WLP (2011)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
extended logic programs
answer set programs
logic program updates
counter examples
loop formulas
reasoning tasks
information systems
optimal solution
orders of magnitude
semantics for logic programs