Solution Enumeration by Optimality in Answer Set Programming.

Jukka Pajunen Tomi Janhunen

Published in: Theory Pract. Log. Program. (2021)

Keyphrases

answer set programming
logic programs
answer sets
logic programming
optimal solution
stable model semantics
reasoning tasks
constraint logic programming
haplotype inference
knowledge representation
stable models
causal theories
answer set programs
update semantics
orders of magnitude