( en | de | ru )

 

Disambiguierung von "Albore, Alexandre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-Checking Memory Requirements of Resource-Bounded Reasoners.

, , , , , und . AAAI, Seite 213-218. AAAI Press, (2006)

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.

Alexandre Martins

Alexandre Darmoise

Alexandre Varnek

Alexandre Alexeev

Alexandre Nekrassov

 

Weitere Publikationen von Autoren mit dem selben Namen

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica., , , , und . IMBSA, Volume 10437 von Lecture Notes in Computer Science, Seite 147-162. Springer, (2017)Fast and Informed Action Selection for Planning with Sensing., , und . CAEPIA, Volume 4788 von Lecture Notes in Computer Science, Seite 1-10. Springer, (2007)Safe LTL Assumption-Based Planning., und . ICAPS, Seite 193-202. AAAI, (2006)Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management., , , , und . RoSE@ICSE, Seite 47-54. IEEE, (2021)Effective Heuristics and Belief Tracking for Planning with Incomplete Information., , und . ICAPS, AAAI, (2011)An Online Replanning Approach for Crop Fields Mapping with Autonomous UAVs., , , und . ICAPS, Seite 259-267. AAAI Press, (2015)Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains., und . AAAI, Seite 495-500. AAAI Press / The MIT Press, (2004)A Translation-Based Approach to Contingent Planning., , und . IJCAI, Seite 1623-1628. (2009)Translation-based approaches to automated planning with incomplete information and sensing.. Pompeu Fabra University, Spain, (2012)Model-Checking Memory Requirements of Resource-Bounded Reasoners., , , , , und . AAAI, Seite 213-218. AAAI Press, (2006)