( en | de | ru )

 

Disambiguierung von "Lespérance, Yves"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.

, , , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 369-374. IOS Press, (2014)

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.

Yves Steinmetz

Yves Matthess

Yves Hoffmann

Yves Gensterblum

Yves Burkhardt

 

Weitere Publikationen von Autoren mit dem selben Namen

On supervising agents in situation-determined ConGolog., , und . AAMAS, Seite 1031-1038. IFAAMAS, (2012)ECASL: a model of rational agency for communicating agents., und . AAMAS, Seite 762-769. ACM, (2005)A Model of Rational Agency for Communicating Agents., und . AC, Volume 3396 von Lecture Notes in Computer Science, Seite 242-259. Springer, (2004)Handling prioritized goals and subgoals in a logical account of goal change., und . AAMAS (2), Seite 1155-1156. IFAAMAS, (2009)Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus., , und . IJCAI, Seite 1221-1226. Morgan Kaufmann, (1997)On the Epistemic Feasibility of Plans in Multiagent Systems Specifications.. ATAL, Volume 2333 von Lecture Notes in Computer Science, Seite 69-85. Springer, (2001)Situation Calculus Based Programs for Representing and Reasoning about Game Structures., , und . KR, AAAI Press, (2010)Rewards Structure in Games: Learning a Compact Representation for Action Space., , und . AAAI Workshops, Volume WS-17 von AAAI Technical Report, AAAI Press, (2017)Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains., und . EUMAS, Volume 14282 von Lecture Notes in Computer Science, Seite 83-99. Springer, (2023)Modeling mental states in the analysis of multiagent systems requirements., und . AAMAS, Seite 241-243. ACM, (2006)