Towards Distributed Computation of Answer Sets.
Marco De BortoliFederico IgneFabio TardivoPietro TotisAgostino DovierEnrico PontelliPublished in: CILC (2019)
Keyphrases
- distributed computation
- answer sets
- logic programs
- answer set programming
- logic programming
- distributed databases
- extended logic programs
- answer set programs
- normal logic programs
- scalability issues
- loop formulas
- fixpoint
- sat solvers
- databases
- transitive closure
- case study
- artificial intelligence
- object oriented
- stable models
- knowledge representation
- high level
- data mining
- database
- semantics of logic programs
- logic program updates