Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Logic programming as the integrator of the Fifth Generation Computer Systems project
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
Advanced database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Reasoning About Knowledge
Declarative networking: language, execution and optimization
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Toward a cloud computing research agenda
ACM SIGACT News
I do declare: consensus in a logic language
ACM SIGOPS Operating Systems Review
DisService: a peer-to-peer disruption tolerant dissemination service
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
A rule-based language for web data management
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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 |
Logic programming has been considered a viable solution for distributed computing since the Fifth Generation Computer Systems project [8]. Nowadays, this line of thought is gaining new verve, pushed by the need for new programming paradigms for addressing new emerging issues in distributed computing. We argue that a missing piece in the current state-of-the-art is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the knowledge state of (group of) nodes has been demonstrated to be fundamental in order to design and analyze distributed protocols [7]. To reach this goal, we designed Knowlog: Datalog¬ augmented with a set of epistemic modal operators, allowing the programmer to directly express what a node "knows" instead of low level communication details.