Declarative Semantics for P2P Data Management System.
Luciano CaropreseEster ZumpanoPublished in: J. Data Semant. (2020)
Keyphrases
- declarative semantics
- deductive databases
- logic programs
- logic programming
- logic programming language
- peer to peer
- operational semantics
- fixpoint
- partial order
- constraint logic programming
- inference rules
- fixpoint semantics
- defeasible reasoning
- stable models
- integrity constraints
- inductive logic programming
- database
- formal semantics
- situation calculus
- knowledge base
- artificial intelligence