Keyword:epistemic logic

Papers
Trustworthy Hybrid Team Decision-Support Systems André Meyer-Vitali and Wico Mulder EasyChair Preprint no. 7607
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