PATRIZI, FABIO

PATRIZI, FABIO  

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

Mostra prodotti
Risultati 1 - 20 di 98 (tempo di esecuzione: 0.03 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
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, 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
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