@inproceedings(BalbianiHT13, author = {Philippe Balbiani and Andreas Herzig and Nicolas Troquard}, year = {2013}, title = {Dynamic Logic of Propositional Assignments: {A} Well-Behaved Variant of {PDL}}, booktitle = {Proc. of LICS}, pages = {143--152}, doi = {10.1109/LICS.2013.20}, ) @article(BrewkaET11, author = {Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski}, year = {2011}, title = {Answer set programming at a glance}, journal = {Commun. ACM}, volume = {54}, number = {12}, pages = {92--103}, doi = {10.1145/2043174.2043195}, ) @article(asp2core, author = {Francesco Calimeri and Wolfgang Faber and Martin Gebser and Giovambattista Ianni and Roland Kaminski and Thomas Krennwallner and Nicola Leone and Francesco Ricca and Torsten Schaub}, year = {2020}, title = {{ASP-Core-2} Input language format}, journal = {Theory and Practice of Logic Programming}, volume = {20}, number = {2}, pages = {294–309}, doi = {10.1017/S1471068419000450}, ) @inproceedings(CooperHMPV20, author = {Martin Cooper and Andreas Herzig and Fr{\'{e}}d{\'{e}}ric Maris and Elise Perrotin and Julien Vianey}, year = {2020}, title = {Lightweight Parallel Multi-Agent Epistemic Planning}, booktitle = {Proc. of KR}, ) @inproceedings(CooperHMMR16, author = {Martin C. Cooper and Andreas Herzig and Faustine Maffre and Fr{\'{e}}d{\'{e}}ric Maris and Pierre R{\'{e}}gnier}, year = {2016}, title = {A Simple Account of Multi-Agent Epistemic Planning}, booktitle = {Proc. of ECAI}, doi = {10.3233/978-1-61499-672-9-193}, ) @article(CooperHMMR16arxiv, author = {Martin C. Cooper and Andreas Herzig and Faustine Maffre and Fr{\'{e}}d{\'{e}}ric Maris and Pierre R{\'{e}}gnier}, year = {2016}, title = {Simple epistemic planning: generalised gossiping}, journal = {CoRR}, volume = {abs/1606.03244}, ) @article(CooperHMMR19, author = {Martin C. Cooper and Andreas Herzig and Faustine Maffre and Fr{\'{e}}d{\'{e}}ric Maris and Pierre R{\'{e}}gnier}, year = {2019}, title = {The epistemic gossip problem}, journal = {Discret. Math.}, volume = {342}, number = {3}, pages = {654--663}, doi = {10.1016/j.disc.2018.10.041}, ) @article(DitmarschEPRS17, author = {Hans van Ditmarsch and Jan van Eijck and Pere Pardo and Rahim Ramezanian and Fran{\c{c}}ois Schwarzentruber}, year = {2017}, title = {Epistemic protocols for dynamic gossip}, journal = {J. Appl. Log.}, volume = {20}, pages = {1--31}, doi = {10.1016/j.jal.2016.12.001}, ) @article(GebserKKOSS11, author = {Martin Gebser and Benjamin Kaufmann and Roland Kaminski and Max Ostrowski and Torsten Schaub and Marius Thomas Schneider}, year = {2011}, title = {Potassco: The Potsdam Answer Set Solving Collection}, journal = {{AI} Commun.}, volume = {24}, number = {2}, pages = {107--124}, doi = {10.3233/AIC-2011-0491}, ) @article(HedetHL88, author = {Sandra M. Hedetniemi and Stephen T. Hedetniemi and Arthur L. Liestman}, year = {1988}, title = {A survey of gossiping and broadcasting in communication networks}, journal = {Networks}, volume = {18}, number = {4}, pages = {319--349}, doi = {10.1002/net.3230180406}, ) @article(Krumme92gossipingin, author = {David W. Krumme and George Cybenko and K. N. Venkataraman}, year = {1992}, title = {Gossiping in Minimal Time}, journal = {SIAM J. on Computing}, volume = {21}, pages = {111--139}, doi = {10.1137/0221010}, )