How to share knowledge by gossiping

[1]  Thomas Bolander,et al.  Epistemic planning for single- and multi-agent systems , 2011, J. Appl. Non Class. Logics.

[2]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[3]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[4]  Michael Wooldridge,et al.  Knowledge and control , 2011, AAMAS.

[5]  Abdul Sattar,et al.  Model Checking Temporal Logics of Knowledge Via OBDDs , 2007, Comput. J..

[6]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[7]  Faustine Maffre.  Ignorance is bliss : observability-based dynamic epistemic logics and their applications. (Le bonheur est dans l'ignorance : logiques épistémiques dynamiques basées sur l'observabilité et leurs applications) , 2016 .

[8]  Philippe Balbiani,et al.  Agents that look at one another , 2013, Log. J. IGPL.

[9]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[10]  Martin C. Cooper,et al.  A simple account of multiagent epistemic planning , 2015 .

[11]  Valentin Goranko,et al.  Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane , 2014, AAMAS.

[12]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[13]  Emiliano Lorini,et al.  A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation , 2015, LORI.

[14]  Martin C. Cooper,et al.  A Simple Account of Multi-Agent Epistemic Planning , 2016, ECAI.

[15]  Thomas Bolander,et al.  Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic , 2014, ECSI.

[16]  Emiliano Lorini,et al.  Building Epistemic Logic from Observations and Public Announcements , 2016, KR.

[17]  E. A. Akkoyunlu,et al.  Some constraints and tradeoffs in the design of network communications , 1975, SOSP.

[18]  Andreas Herzig,et al.  Parameters for Epistemic Gossip Problems , 2016 .

[19]  Wiebe van der Hoek,et al.  Knowledge and Gossip , 2014, ECAI.

[20]  Brenda S. Baker,et al.  Gossips and telephones , 1972, Discret. Math..

[21]  François Schwarzentruber,et al.  Arbitrary Public Announcement Logic with Mental Programs , 2015, AAMAS.

[22]  Wiebe van der Hoek,et al.  A Framework for Epistemic Gossip Protocols , 2014, EUMAS.

[23]  Martin C. Cooper,et al.  Simple Epistemic Planning: Generalised Gossiping , 2016, ECAI.

[24]  Caj Cor Hurkens.  Spreading gossip efficiently , 2000 .

[25]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[26]  E. C. Milner,et al.  A Cure for the Telephone Disease , 1972, Canadian Mathematical Bulletin.

[27]  Thomas A. Henzinger,et al.  MOCHA: Modularity in Model Checking , 1998, CAV.

[28]  Thomas Bolander,et al.  Undecidability in Epistemic Planning , 2013, IJCAI.

[29]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..

[30]  Wiebe van der Hoek,et al.  Epistemic Protocols for Distributed Gossiping , 2016, TARK.

[31]  Michael Wooldridge,et al.  A logic of revelation and concealment , 2012, AAMAS.