Skip to content

Knowlog: A Declarative Language for Reasoning about Knowledge in Distributed Systems.

Matteo Interlandi

VenueAER
Year2012
ProceedingsER

Browse the full ER paper archive.