Login / Signup
Solution Enumeration by Optimality in Answer Set Programming.
Jukka Pajunen
Tomi Janhunen
Published in:
CoRR (2021)
Keyphrases
</>
answer set programming
logic programs
answer sets
logic programming
optimal solution
causal theories
reasoning tasks
stable models
search space
answer set programs
knowledge representation
update semantics
evolutionary algorithm
database
stable model semantics
disjunctive logic programming
haplotype inference