Constraint answer set solver EZCSP and why integration schemas matter.
Marcello BalducciniYuliya LierlerPublished in: Theory Pract. Log. Program. (2017)
Keyphrases
- answer sets
- logic programs
- answer set programming
- data integration
- logic programming
- databases
- schema integration
- answer set programs
- constraint solving
- answer set semantics
- anti monotone
- constraint solver
- normal logic programs
- information integration
- data sources
- stable models
- loop formulas
- evolutionary algorithm
- deductive databases
- fixpoint
- query language