asprin: Customizing Answer Set Preferences without a Headache.

Gerhard Brewka James P. Delgrande Javier Romero Torsten Schaub

Published in: AAAI (2015)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
loop formulas
user preferences
counter examples
normal logic programs
sat solvers
possibilistic logic
differential diagnosis
semantics of logic programs