PATRIZI, FABIO

PATRIZI, FABIO  

DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-  

Mostra prodotti
Risultati 1 - 20 di 82 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autore(i) File
9th Italian convention on computational logic 2012 Patrizi, Fabio
A classification of first-order progressable action theories in situation calculus 2013 Vassos, Stavros; Patrizi, Fabio
A computationally-grounded semantics for artifact-centric systems and abstraction results 2011 Francesco, Belardinelli; Alessio, Lomuscio; Patrizi, Fabio
Action theories over generalized databases with equality constraints 2014 Patrizi, Fabio; Vassos, Stavros
Action theories over generalized databases with equality constraints 2014 Patrizi, F.; Vassos, S.
Agent Behavior Composition in Virtual Environments Realized Using Game Engines 2014 DE GIACOMO, Giuseppe; Ntouskos, Valsamis; Patrizi, Fabio; Vassos, Stavros; Aversa, Davide
Agent planning programs 2016 De Giacomo, Giuseppe; Gerevini, Alfonso; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian
Agent programming via planning programs 2010 DE GIACOMO, Giuseppe; Patrizi, Fabio; Sebastian, Sardina
An abstraction technique for the verification of artifact-centric systems 2012 F., Belardinelli; A., Lomuscio; Patrizi, Fabio
An effective approach to realizing planning programs 2011 Alfonso, Gerevini; Patrizi, Fabio; Alessandro, Saetti
Automated composition of nondeterministic stateful services 2010 DE GIACOMO, Giuseppe; Patrizi, Fabio
Automated Service Composition Based on Behaviors: The Roman Model 2014 DE GIACOMO, Giuseppe; Mecella, Massimo; Patrizi, Fabio
Automatic behavior composition synthesis 2013 DE GIACOMO, Giuseppe; Patrizi, Fabio; Sardina, Sebastian
Automatic generation and learning of finite-state controllers 2012 Leonetti, Matteo; Iocchi, Luca; Patrizi, Fabio
AUTOMATIC SERVICE COMPOSITION AND SYNTHESIS: THE ROMAN MODEL 2008 Calvanese, D; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo; Patrizi, Fabio
Automatic service composition via simulation 2008 Daniela, Berardi; Patrizi, Fabio; Fahima, Cheikh; DE GIACOMO, Giuseppe
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors 2007 DE GIACOMO, Giuseppe; Patrizi, Fabio; Sebastian, Sardina
Automatic Verification of Data-Centric Business Processes 2009 Alin, Deutsch; Richard, Hull; Patrizi, Fabio; Victor, Vianu
Automatic workflows composition of mobile services 2007 DE GIACOMO, Giuseppe; DE LEONI, Massimiliano; Mecella, Massimo; Patrizi, Fabio
Behavior Composition in the Presence of Failure 2008 DE GIACOMO, Giuseppe; Patrizi, Fabio; Sebastian, Sardina