Login / Signup
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter.
Marcello Balduccini
Yuliya Lierler
Published in:
CoRR (2017)
Keyphrases
</>
answer sets
logic programs
answer set programming
data integration
logic programming
schema integration
answer set semantics
constraint solving
answer set programs
databases
constraint solver
anti monotone
normal logic programs
fixpoint
loop formulas
stable models
reasoning tasks
integrity constraints
data sources