( en | de | ru )

 

Disambiguierung von "Patrizi, Fabio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Action Theories over Generalized Databases with Equality Constraints.

, und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 472-485. Springer, (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.

Fabio Sternberg

Fabio Galbusera

Fabio Farinon

Fabio Giovannini

Fabio Ruggiero

 

Weitere Publikationen von Autoren mit dem selben Namen

Evaluating ASP and Commercial Solvers on the CSPLib., , , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 68-72. IOS Press, (2006)Action Theories over Generalized Databases with Equality Constraints., und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 472-485. Springer, (2014)Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper)., , , , und . SOCA, Seite 101-107. IEEE Computer Society, (2015)Agent planning programs., , , , und . Artif. Intell., (2016)Scaling up Parallel Robot Plans to Improve Plan Execution Time: an Industrial Use Case (short paper)., , , , und . AIRO@AI*IA, Volume 3686 von CEUR Workshop Proceedings, Seite 113-118. CEUR-WS.org, (2023)Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners., , und . IJCAI, Seite 2343-2349. IJCAI/AAAI, (2013)Verification of Generic, Relational Transition Systems., , , und . PMAI@IJCAI, Volume 3310 von CEUR Workshop Proceedings, Seite 93-96. CEUR-WS.org, (2022)Timed Trace Alignment with Metric Temporal Logic over Finite Traces., , , und . KR, Seite 227-236. (2021)Modeling and In-Database Management of Relational, Data-Aware Processes., , , und . CAiSE, Volume 11483 von Lecture Notes in Computer Science, Seite 328-345. Springer, (2019)On the Separability of Subproblems in Benders Decompositions., und . CPAIOR, Volume 3990 von Lecture Notes in Computer Science, Seite 74-88. Springer, (2006)