Login / Signup
Answer Set Solving with Generalized Learned Constraints.
Martin Gebser
Roland Kaminski
Benjamin Kaufmann
Patrick Lühne
Javier Romero
Torsten Schaub
Published in:
ICLP (Technical Communications) (2016)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
anti monotone
normal logic programs
answer set semantics
fixpoint
databases
database
general purpose
data exchange
constraint programming
loop formulas
counter examples