Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics.

Published in: SIGMOD Rec. (2014)

Keyphrases

declarative semantics
deductive databases
logic programs
logic programming
logic programming language
operational semantics
defeasible reasoning
fixpoint
integrity constraints
query evaluation
multi agent systems
knowledge representation
multi agent
data warehouse
stable models
constraint logic programming