Integration Schemas for Constraint Answer Set Programming: a Case Study.
Marcello BalducciniYuliya LierlerPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- answer set programming
- logic programming
- logic programs
- data integration
- answer sets
- causal theories
- constraint logic programming
- databases
- answer set programs
- stable model semantics
- stable models
- heterogeneous data sources
- qualitative spatial and temporal reasoning
- data sources
- haplotype inference
- information integration
- database schema
- data exchange
- orders of magnitude
- constraint solving
- semantic web
- knowledge representation
- update semantics
- disjunctive logic programming
- machine learning
- database