( en | de | ru )

 

Disambiguierung von "Schwarzentruber, François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Concurrent Games in Dynamic Epistemic Logic.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

François Schwarzentruber

François Weirich

François Elvinger

François Guers

François Melis

 

Weitere Publikationen von Autoren mit dem selben Namen

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