( en | de | ru )

 

Disambiguierung von "Chetcuti-Sperandio, Nathalie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A mixed decision method for duration calculus.

, und . J. Log. Comput., 10 (6): 877-895 (2000)

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.

Markus Sperandio

Markus Sperandio

David Sperandio

Nathalie Mispagel

Nathalie Gusew

 

Weitere Publikationen von Autoren mit dem selben Namen

A Decision Method for Duration Calculus., und . RelMiCS, Seite 31-44. (2000)How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic., und . KR, Seite 340-347. AAAI Press, (2008)Tableau-Based Automated Deduction for Duration Calculus.. TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 53-69. Springer, (2002)First Steps for Determining Agent Intention in Dynamic Epistemic Logic., , , und . ICAART (2), Seite 717-724. SCITEPRESS, (2020)A mixed decision method for duration calculus., und . J. Log. Comput., 10 (6): 877-895 (2000)On aggregate and comparison functions for Motus/Lingo playing., , und . J. Int. Comput. Games Assoc., 40 (3): 258-268 (2018)Intention et logique épistémique dynamique., , , und . RJCIA, Seite 1-9. (2019)Checking Agent Intentions in Games., , , und . ICTAI, Seite 815-822. IEEE, (2021)Determination and evaluation of efficient strategies for a stop or roll dice game: Heckmeck am Bratwurmeck (Pickomino)., , , und . CIG, Seite 175-182. IEEE, (2008)An Ontology Web Application-based Annotation Tool for Intangible Culture Heritage Dance Videos., , , , , , und . SUMAC @ ACM Multimedia, Seite 75-81. ACM, (2019)