Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
epistemic logic
Papers
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-2021 easychair.org. All rights reserved.