HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.