MASP-Reduce: A Proposal for Distributed Computation of Stable Models.

Federico Igne Agostino Dovier Enrico Pontelli

Published in: ICLP (Technical Communications) (2018)

Keyphrases

distributed computation
stable models
logic programs
distributed storage
normal logic programs
logic programming
distributed databases
scalability issues
stable model semantics
deductive databases
answer set programming
fixpoint
transitive closure
derivation rules
database
loop formulas
general purpose