ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
An Overview of Temporal and Modal Logic Programming
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Reasoning About Knowledge
Declarative networking: language, execution and optimization
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
I do declare: consensus in a logic language
ACM SIGOPS Operating Systems Review
Dedalus: datalog in time and space
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Hi-index | 0.00 |
In the last few years, researchers started to investigate how recursive queries and deductive languages can be applied to find solutions to the new emerging trends in distributed computing. We conjecture that a missing piece in the current state-of-the-art in logic programming is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the state of remote nodes is fundamental in distributed contexts in order to design and analyze protocols behavior. To reach this goal, we leveraged Datalog¬ with an epistemic modal operator, allowing the programmer to directly express nodes' state of knowledge instead of low level communication details. To support the effectiveness of our proposal, we introduce, as example, the declarative implementation of the two phase commit protocol.