Modelling autonomic dataspaces using answer sets.
Gabriela Montiel-MorenoJosé-Luis Zechinelli-MartiniGenoveva Vargas-SolarPublished in: LA-NMR (2009)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- data integration
- answer set programs
- logic program updates
- extended logic programs
- normal logic programs
- fixpoint
- data model
- counter examples
- data management
- programming language
- stable model semantics
- machine learning
- semantics of logic programs
- databases