Keyword:epistemic logic

Publications
Cautious Distributed Belief John Lindqvist, Fernando R. Velázquez-Quesada and Thomas Ågotnes EasyChair Preprint 8493
Trustworthy Hybrid Team Decision-Support Systems André Meyer-Vitali and Wico Mulder EasyChair Preprint 7607
Symbolic Realisation of Epistemic Processes Rolf Hennicker, Alexander Knapp and Martin Wirsing In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Learning What Others Know Alexandru Baltag and Sonja Smets In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
When Are Two Gossips the Same? Krzysztof Apt, Davide Grossi and Wiebe Van-Der-Hoek In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Decidability of Fair Termination of Gossip Protocols Krzysztof Apt and Dominik Wojtczak In:IWIL Workshop and LPAR Short Presentations
PDT Logic for Stream Reasoning in Multi-agent Systems Karsten Martiny and Ralf Moeller In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science