PATRIZI, FABIO
PATRIZI, FABIO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
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
A formalization of multi-agent planning with explicit agent representation
2023 Trapasso, Alessandro; Santilli, Sofia; Iocchi, Luca; Patrizi, Fabio
A Multi Agent System Approach for Emergency Intervention: Experimental Analisys and Evaluation.
2005 Farinelli, A; Iocchi, Luca; Nardi, Daniele; Patrizi, Fabio
A tool for compiling Declarative Process Mining problems in ASP
2022 Chiariello, Francesco; Maria Maggi, Fabrizio; Patrizi, Fabio
A tool for declarative Trace Alignment via automated planning
2023 De Giacomo, G.; Fuggitti, F.; Maggi, F. M.; Marrella, A.; Patrizi, F.
Action theories over generalized databases with equality constraints
2014 Patrizi, F.; Vassos, S.
Action theories over generalized databases with equality constraints
2014 Patrizi, Fabio; Vassos, Stavros
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
An Embedded Middleware Platform for Pervasive and Immersive Environments for-All
2009 Baldoni, Roberto; DI CICCIO, Claudio; Mecella, Massimo; Patrizi, Fabio; Querzoni, Leonardo; Santucci, Giuseppe; Cincotti, Febo; Aloise, Fabio
An introduction to simulation-based techniques for automated service composition
2009 Patrizi, F.
ASP-based declarative process mining
2022 Chiariello, Francesco; Maggi, Fabrizio Maria; Patrizi, Fabio
ASP-Based Declarative Process Mining (Extended Abstract)
2022 Chiariello, Francesco; Maggi, FABRIZIO MARIA; Patrizi, Fabio
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
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 | |
A formalization of multi-agent planning with explicit agent representation | 2023 | Trapasso, Alessandro; Santilli, Sofia; Iocchi, Luca; Patrizi, Fabio | |
A Multi Agent System Approach for Emergency Intervention: Experimental Analisys and Evaluation. | 2005 | Farinelli, A; Iocchi, Luca; Nardi, Daniele; Patrizi, Fabio | |
A tool for compiling Declarative Process Mining problems in ASP | 2022 | Chiariello, Francesco; Maria Maggi, Fabrizio; Patrizi, Fabio | |
A tool for declarative Trace Alignment via automated planning | 2023 | De Giacomo, G.; Fuggitti, F.; Maggi, F. M.; Marrella, A.; Patrizi, F. | |
Action theories over generalized databases with equality constraints | 2014 | Patrizi, F.; Vassos, S. | |
Action theories over generalized databases with equality constraints | 2014 | Patrizi, Fabio; Vassos, Stavros | |
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 | |
An Embedded Middleware Platform for Pervasive and Immersive Environments for-All | 2009 | Baldoni, Roberto; DI CICCIO, Claudio; Mecella, Massimo; Patrizi, Fabio; Querzoni, Leonardo; Santucci, Giuseppe; Cincotti, Febo; Aloise, Fabio | |
An introduction to simulation-based techniques for automated service composition | 2009 | Patrizi, F. | |
ASP-based declarative process mining | 2022 | Chiariello, Francesco; Maggi, Fabrizio Maria; Patrizi, Fabio | |
ASP-Based Declarative Process Mining (Extended Abstract) | 2022 | Chiariello, Francesco; Maggi, FABRIZIO MARIA; Patrizi, Fabio | |
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 |