( en | de | ru )

 

Disambiguation of "Schwarzentruber, François"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrent Games in Dynamic Epistemic Logic.

, , , and . IJCAI, page 1877-1883. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

François Schwarzentruber

François Weirich

François Elvinger

François Melis

François Guers

 

Other publications of authors with the same name

Knowledge about Lights along a Line.. MALLOW, volume 494 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Base-Based Model Checking for Multi-agent only Believing., , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 437-445. Springer, (2023)On Simple Expectations and Observations of Intelligent Agents: A Complexity Study., , , and . KR, page 136-145. (2023)Deciding the Non-emptiness of Attack Trees., , , and . GraMSec@FLoC, volume 11086 of Lecture Notes in Computer Science, page 13-30. Springer, (2018)A Logic of Explicit and Implicit Distributed Belief., , , , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 753-760. IOS Press, (2020)Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models., , and . KR, (2022)Multi-Agent Belief Base Revision., and . IJCAI, page 1959-1965. ijcai.org, (2021)Connect Multi-Agent Path Finding: Generation and Visualization., , and . IJCAI, page 5008-5011. ijcai.org, (2021)Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic Logic., , , and . AAMAS, page 2394-2396. ACM, (2023)Reachability Games in Dynamic Epistemic Logic., , and . IJCAI, page 499-505. ijcai.org, (2019)