id: 06106022
dt: a
an: 06106022
au: Interlandi, Matteo
ti: Reasoning about knowledge in distributed systems using Datalog.
so: Barceló, Pablo (ed.) et al., Datalog in academia and industry. Second
    international workshop, Datalog 2.0, Vienna, Austria, September
    11‒13, 2012. Proceedings. Berlin: Springer (ISBN
    978-3-642-32924-1/pbk). Lecture Notes in Computer Science 7494, 99-110
    (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-32925-8_11
ab: Summary: 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$ ^{\lnot }$
    augmented with a set of epistemic modal operators, allowing the
    programmer to directly express what a node “knows” instead of low
    level communication details.
rv: