11573/1667983 - 2023 -
Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis Agostinelli, Simone; Chiariello, Francesco; Maggi, Fabrizio Maria; Marrella, Andrea; Patrizi, Fabio - 01a Articolo in rivista
paper: INFORMATION SYSTEMS (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. - - issn: 0306-4379 - wos: WOS:000973565000001 (3) - scopus: 2-s2.0-85147254086 (6)
11573/1681391 - 2023 -
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach Alman, A.; Maggi, F. M.; Montali, M.; Patrizi, F.; Rivkin, A. - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE IN MEDICINE (Amsterdam; Tecklenburg: Burgverlag; Elsevier Science Publishers) pp. - - issn: 0933-3657 - wos: WOS:000957157700001 (2) - scopus: 2-s2.0-85150014360 (3)
11573/1688756 - 2023 -
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping Cipollone, R.; De Giacomo, G.; Favorito, M.; Iocchi, L.; Patrizi, F. - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (usa)
book: Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 - (978-1-57735-880-0)
De Giacomo, G.; Fried, D.; Patrizi, F.; Zhu, S. - 01a Articolo in rivista
paper: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 1087-1112 - issn: 1076-9757 - wos: WOS:001039359800001 (0) - scopus: 2-s2.0-85166270248 (0)
11573/1681517 - 2023 -
A tool for declarative Trace Alignment via automated planning De Giacomo, G.; Fuggitti, F.; Maggi, F. M.; Marrella, A.; Patrizi, F. - 01a Articolo in rivista
paper: SOFTWARE IMPACTS (Amsterdam: Elsevier B.V.) pp. - - issn: 2665-9638 - wos: WOS:001006171300001 (0) - scopus: 2-s2.0-85156148757 (0)
11573/1706688 - 2023 -
Monitoring Arithmetic Temporal Properties on Finite Traces Felli, P.; Montali, M.; Patrizi, F.; Winkler, S. - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (USA)
book: Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 - ()
11573/1691214 - 2023 -
Optimal Alignment of Temporal Knowledge Bases Fernandez-Gil, Oliver; Patrizi, Fabio; Perelli, Giuseppe; Turhan, Anni-Yasmin - 04b Atto di convegno in volume
conference: European Conference on Artificial Intelligence (Cracovia)
book: European Conference on Artificial Intelligence - (978-1-64368-436-9)
Gaillard, Pierre; Patrizi, Fabio; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: European Conference on Artificial Intelligence (Cracovia)
book: European Conference on Artificial Intelligence - (9781643684369; 9781643684376)
11573/1681998 - 2023 -
Data-Aware Declarative Process Mining with SAT Maggi, Fabrizio Maria; Marrella, Andrea; Patrizi, Fabio; Skydanienko, Vasyl - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY (New York, NY: Association for Computing Machinery) pp. - - issn: 2157-6904 - wos: WOS:001056362600018 (0) - scopus: 2-s2.0-85168807852 (2)
11573/1685988 - 2023 -
A formalization of multi-agent planning with explicit agent representation Trapasso, Alessandro; Santilli, Sofia; Iocchi, Luca; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 38th ACM/SIGAPP Symposium on Applied Computing (Tallinn, Estonia)
book: SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing - (9781450395175)
11573/1681497 - 2022 -
Multi-model monitoring framework for hybrid process specifications Alman, A.; Maggi, F. M.; Montali, M.; Patrizi, F.; Rivkin, A. - 04b Atto di convegno in volume
conference: International Conference on Advanced Information Systems Engineering (Leuven, Belgium)
book: Advanced Information Systems Engineering - (978-3-031-07471-4; 978-3-031-07472-1)
11573/1681399 - 2022 -
Verification and monitoring for first-order LTL with persistence-preserving quantification over finite and infinite traces Calvanese, D.; De Giacomo, G.; Montali, M.; Patrizi, F. - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 2553-2560 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85133201271 (13)
conference: International Joint Conference on Artificial Intelligence (Messe Wien, aut)
Chiariello, Francesco; Maggi, Fabrizio Maria; Patrizi, Fabio - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (Virtual, Online)
book: AAAI-22 Technical Tracks 5 - (978-1-57735-876-3; 1-57735-876-7)
11573/1664268 - 2022 -
ASP-Based Declarative Process Mining (Extended Abstract) Chiariello, Francesco; Maggi, Fabrizio Maria; Patrizi, Fabio - 04d Abstract in atti di convegno
conference: International Conference on Logic Programming (Haifa; Israel)
book: Electronic Proceedings in Theoretical Computer Science - ()
11573/1664185 - 2022 -
A tool for compiling Declarative Process Mining problems in ASP Chiariello, Francesco; Maria Maggi, Fabrizio; Patrizi, Fabio - 01a Articolo in rivista
paper: SOFTWARE IMPACTS (Amsterdam: Elsevier B.V.) pp. - - issn: 2665-9638 - wos: WOS:000908370700015 (0) - scopus: 2-s2.0-85141462655 (1)
11573/1626616 - 2022 -
Situation calculus for controller synthesis in manufacturing systems with first-order state representation De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; Sardina, S. - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. - - issn: 0004-3702 - wos: WOS:000707426600001 (1) - scopus: 2-s2.0-85116414608 (4)
11573/1681435 - 2022 -
Situation calculus for controller synthesis in manufacturing systems with first-order state representation (extended abstract) De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; Sardiña, S. - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Vienna, Austria)
book: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence - (9781956792003)
11573/1603286 - 2021 -
Discovering declarative process model behavior from event logs via model learning Agostinelli, S.; Bergami, G.; Fiorenza, A.; Maggi, F. M.; Marrella, A.; Patrizi, F. - 04b Atto di convegno in volume
conference: International Conference on Process Mining (Eindhoven, Netherlands)
book: 3rd International Conference on Process Mining, ICPM 2021 - (978-1-6654-3514-7)
11573/1583245 - 2021 -
Timed trace alignment with metric temporal logic over finite traces De Giacomo, Giuseppe; Murano, Aniello; Patrizi, Fabio; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Online event)
book: International Conference on the Principles of Knowledge Representation and Reasoning - (9781956792997)
11573/1506317 - 2020 -
High-level programming via generalized planning and LTL synthesis Bonet, Blai; De Giacomo, Giuseppe; Geffner, Hector; Patrizi, Fabio; Rubin, Sasha - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Rhodes, Greece)
book: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) - (978-0-9992411-7-2)
11573/1471641 - 2020 -
Temporal logic monitoring rewards via transducers De Giacomo, Giuseppe; Favorito, Marco; Iocchi, Luca; Patrizi, Fabio; Ronca, Alessandro - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Rhodes; Greece)
book: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning - (978-0-9992411-7-2)
11573/1434370 - 2020 -
Imitation learning over heterogeneous agents with restraining bolts De Giacomo, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
conference: International Conference on Automated Planning and Scheduling (Nancy; France)
book: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) - ()
11573/1435479 - 2020 -
Restraining bolts for reinforcement learning agents Giacomo, De; Favorito, Marco; Iocchi, Luca; Patrizi, Fabio - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (New York, NY, USA)
book: AAAI 2020 - 34th AAAI Conference on Artificial Intelligence - (978-1-57735-835-0)
11573/1386226 - 2019 -
Modeling and In-Database Management of Relational, Data-Aware Processes Calvanese, D.; Montali, M.; Patrizi, F.; Rivkin, A. - 04b Atto di convegno in volume
conference: 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019 (Rome; Italy)
book: Advanced Information Systems Engineering - (978-3-030-21289-6; 978-3-030-21290-2)
11573/1401140 - 2019 -
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications De Giacomo, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
conference: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (Berkeley, CA, USA)
book: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling - ()
Brafman, Ronen Israel; De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 32th AAAI Conference on Artificial Intelligence (AAAI-18) (New Orleans, Louisiana; USA)
book: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) - ()
11573/1101958 - 2018 -
First-order μ-calculus over generic transition systems and applications to the situation calculus Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio - 01a Articolo in rivista
paper: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 328-347 - issn: 0890-5401 - wos: WOS:000428725600003 (18) - scopus: 2-s2.0-85029421794 (27)
11573/965532 - 2017 -
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment De Giacomo, Giuseppe; Maggi, Fabrizio M.; Marrella, Andrea; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 31st AAAI Conference on Artificial Intelligence (AAAI-17) (San Francisco, California, USA)
book: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017 [GGS A++/CORE A*] - (978-1-57735-784-1)
11573/913291 - 2016 -
On First-Order μ-Calculus over Situation Calculus Action Theories Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 (Cape Town; South Africa)
book: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016 - (978-1-57735-755-1)
11573/913328 - 2016 -
Plan Synthesis for Knowledge and Action Bases Calvanese, Diego; Montali, Marco; Patrizi, Fabio; Stawowy, Michele - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1022-1029 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85006100798 (15)
conference: 25th International Joint Conference on Artificial Intelligence, IJCAI 2016 (New York; United States)
11573/951437 - 2016 -
Synthesizing and executing plans in Knowledge and Action Bases Calvanese, Diego; Montali, Marco; Patrizi, Fabio; Stawowy, Michele - 04b Atto di convegno in volume
conference: 29th International Workshop on Description Logics, DL 2016 (Cape Town; South Africa)
book: Proceedings of the 29th International Workshop on Description Logics. DL 2016 - ()
De Giacomo, Giuseppe; Gerevini, Alfonso; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 64-106 - issn: 0004-3702 - wos: WOS:000368746100004 (11) - scopus: 2-s2.0-84947545990 (19)
11573/839707 - 2016 -
Progression and Verification of Situation Calculus Agents with Bounded Beliefs De Giacomo, Giuseppe; Lesperance, Y.; Patrizi, Fabio; Vassos, Stavros - 01a Articolo in rivista
paper: STUDIA LOGICA (London ; Dordrecht ; Boston ; Warszawa : Pa'nstwowe Wydawnictwo Naukowe : Kluwer Academic Publishers) pp. 705-739 - issn: 0039-3215 - wos: WOS:000379529800005 (3) - scopus: 2-s2.0-84940860082 (2)
11573/885586 - 2016 -
Bounded situation calculus action theories De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 172-203 - issn: 0004-3702 - wos: WOS:000377828500008 (16) - scopus: 2-s2.0-84966349606 (29)
11573/949556 - 2016 -
Verifying congolog programs on bounded situation calculus theories De Giacomo, Giuseppe; Lesṕerance, Yves; Patrizi, Fabio; Sardina, Sebastian - 04b Atto di convegno in volume
conference: 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (Phoenix; United States)
book: AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence - (9781577357605)
11573/949545 - 2016 -
Guest editorial: special issue on data and artifact-centric business processes Dumas, Marlon; Hull, Richard; Patrizi, Fabio - 01m Editorial/Introduzione in rivista
paper: COMPUTING (Springer-Verlag Wien:Sachsenplatz 4-6, PO Box 89, A-1201 Vienna Austria:011 43 1 3302415, EMAIL: springer@springer.co.at, INTERNET: http://link.springer-ny.com, Fax: 011 43 1 3302426) pp. 343-344 - issn: 0010-485X - wos: WOS:000372901400001 (1) - scopus: 2-s2.0-84957681068 (1)
11573/839713 - 2015 -
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis Calvanese, Diego; Montali, Marco; Patrizi, Fabio; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
book: Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 - (978-1-57735-738-4)
11573/951435 - 2015 -
Leveraging relational technology for data-centric dynamic systems Calvanese, Diego; Montali, Marco; Patrizi, Fabio; Rivkin, Andrey - 04b Atto di convegno in volume
conference: 23rd Italian Symposium on Advanced Database Systems, SEBD 2015 (Gaeta; Italy)
book: 23rd Italian Symposium on Advanced Database Systems, SEBD 2015 - (9781510810877)
11573/951436 - 2015 -
Implementing data-centric dynamic systems over a relational DBMS Calvanese, Diego; Montali, Marco; Patrizi, Fabio; Rivkin, Andrey - 04b Atto di convegno in volume
conference: 9th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2015 (Lima; Peru)
book: Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management. AMW 2015 - ()
11573/873837 - 2015 -
Service Composition with PDDL Representations and Visualization over Videogame Engines De Giacomo, Giuseppe; Ntouskos, Valsamis; Patrizi, Fabio; Vassos, Stavros; Aversa, Davide - 04b Atto di convegno in volume
conference: 8th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2015 (Rome; Italy)
book: 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) - (9781467394697)
11573/912495 - 2014 -
Verification of agent-based artifact systems Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio - 01a Articolo in rivista
paper: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 333-376 - issn: 1076-9757 - wos: WOS:000343090700001 (34) - scopus: 2-s2.0-84937414173 (46)
11573/650795 - 2014 -
Automated Service Composition Based on Behaviors: The Roman Model De Giacomo, Giuseppe; Mecella, Massimo; Patrizi, Fabio - 02a Capitolo o Articolo
book: Web Services Foundations - (9781461475170; 9781461475187)
11573/670485 - 2014 -
Agent Behavior Composition in Virtual Environments Realized Using Game Engines De Giacomo, Giuseppe; Ntouskos, Valsamis; Patrizi, Fabio; Vassos, Stavros; Aversa, Davide - 04b Atto di convegno in volume
conference: Workshop on AI Problems and Approaches for Intelligent Environments (Praga Repubblica Ceca)
book: Proceedings of the 2014 Workshop on AI Problems and Approaches for Intelligent Environments - ()
11573/778325 - 2014 -
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments De Giacomo, Giuseppe; Patrizi, Fabio; Sebastian, Sardiña - 04b Atto di convegno in volume
conference: Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014 (Portsmouth, New Hampshire, USA)
book: Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014 - (978-1-57735-660-8)
11573/537188 - 2014 -
Progression and Verification of Situation Calculus Agents with Bounded Beliefs De Giacomo, Giuseppe; Y., Lespérance; Patrizi, Fabio; Vassos, Stavros - 04b Atto di convegno in volume
conference: Autonomous Agents and Multiagent Systems (Paris, France)
book: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 - (978-1-4503-2738-1)
11573/778328 - 2014 -
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus De Giacomo, Giuseppe; Yves, Lespérance; Patrizi, Fabio; Vassos, Stavros - 04b Atto di convegno in volume
conference: 21st European Conference on Artificial Intelligence (Prague, Czech Republic)
book: ECAI 2014 - 21st European Conference on Artificial Intelligence - (978-1-61499-418-3)
11573/1475747 - 2014 -
Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers Lomuscio, A.; Nepal, S.; Patrizi, F.; Benatallah, B.; Brandic, I. - 02c Prefazione/Postfazione
book: Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. - ()
Patrizi, F.; Benatallah, B.; Brandic, I. - 02c Prefazione/Postfazione
book: Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. - (978-3-319-06858-9; 978-3-319-06859-6)
11573/1475716 - 2014 -
Action theories over generalized databases with equality constraints Patrizi, F.; Vassos, S. - 04b Atto di convegno in volume
conference: 14th European Conference, JELIA 2014 (Funchal, Madeira, Portugal)
book: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. - (978-3-319-11557-3; 978-3-319-11558-0)
11573/537189 - 2014 -
Action theories over generalized databases with equality constraints Patrizi, Fabio; Vassos, Stavros - 04b Atto di convegno in volume
conference: 14th International Conference on Principles of Knowledge Representation and Reasoning (Vienna; Austria)
book: Proc. of KR 2014 - (9781577356578)
11573/650796 - 2014 -
Towards a reference implementation for Data Centric Dynamic Systems Russo, Alessandro; Mecella, Massimo; Marco, Montali; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 11th International Conference on Business Process Management, BPM 2013 (Beijing)
book: Lecture Notes in Business Information Processing, Business Process Management Workshops - (9783319062563)
11573/950787 - 2013 -
Verification and synthesis in description logic based dynamic systems (abridged version) Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
conference: Workshop AI Meets Business Processes, AIBP 2013 - Co-located with the 13th Conference of the Italian Association for Artificial Intelligence, AI*IA 2013 (Turin; Italy)
book: CEUR Workshop Proceedings - ()
11573/516108 - 2013 -
Automatic behavior composition synthesis De Giacomo, Giuseppe; Patrizi, Fabio; Sardina, Sebastian - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 106-142 - issn: 0004-3702 - wos: WOS:000319087200005 (41) - scopus: 2-s2.0-84889776894 (54)
11573/516162 - 2013 -
Bounded epistemic situation calculus theories De Giacomo, Giuseppe; Yves, Lesperance; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
book: Proceedings of the 23rd International Joint Conference on Artificial Intelligence - (9781577356332)
11573/531063 - 2013 -
Dynamic Systems based on Description Logics: Formalization, verification, and synthesis Diego, Calvanese; De Giacomo, Giuseppe; M., Montali; Patrizi, Fabio - 04c Atto di convegno in rivista
paper: CEUR WORKSHOP PROCEEDINGS (Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.) pp. 573-586 - issn: 1613-0073 - wos: (0) - scopus: 2-s2.0-84892379527 (1)
conference: 26th International Workshop on Description Logics, DL 2013 (Ulm)
book: Proceedings of the 26th International Workshop on Description Logics - ()
11573/531055 - 2013 -
Verification and synthesis in description logic based dynamic systems Diego, Calvanese; De Giacomo, Giuseppe; Marco, Montali; Patrizi, Fabio - 04c Atto di convegno in rivista
paper: LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 50-64 - issn: 0302-9743 - wos: WOS:000442637804053 (6) - scopus: 2-s2.0-84881145218 (17)
conference: 7th International Conference on Web Reasoning and Rule Systems, RR 2013 (Mannheim)
book: Proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013 - (9783642396656; 9783642396663)
11573/516156 - 2013 -
Fair LTL synthesis for non-deterministic systems using strong cyclic planners Patrizi, Fabio; N., Lipovetzky; H., Geffner - 04b Atto di convegno in volume
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 2343-2349 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-84896061268 (29)
conference: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing; China)
book: Proceedings of the 23rd International Joint Conference on Artificial Intelligence - (9781577356332)
11573/537145 - 2013 -
Implementing and running data-centric dynamic systems Russo, Alessandro; Mecella, Massimo; Patrizi, Fabio; Marco, Montali - 04b Atto di convegno in volume
conference: 6th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2013 (Kauai, HI)
book: 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications - (9781479927012; 9781479927029)
11573/516151 - 2013 -
A classification of first-order progressable action theories in situation calculus Vassos, Stavros; Patrizi, Fabio - 04b Atto di convegno in volume
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1132-1138 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-84896061016 (8)
conference: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing; China)
book: Proceedings of the 23rd International Joint Conference on Artificial Intelligence - (9781577356332)
11573/484864 - 2012 -
Bounded situation calculus action theories and decidable verification De Giacomo, Giuseppe; Yves, Lesperance; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (Rome)
book: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 - (9781577355601)
11573/485094 - 2012 -
Bounded situation calculus action theories (Extended abstract) De Giacomo, Giuseppe; Yves, Lesperance; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 8th International Cognitive Robotics Workshop (Toronto, ON)
book: Proc. of the 8th International Cognitive Robotics Workshop - (9781577355717)
11573/505057 - 2012 -
An abstraction technique for the verification of artifact-centric systems F., Belardinelli; A., Lomuscio; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (Rome)
book: Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 - (9781577355601)
11573/505090 - 2012 -
Verification of GSM-based artifact-centric systems through finite abstraction Francesco, Belardinelli; Alessio, Lomuscio; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 10th International Conference on Service-Oriented Computing, ICSOC 2012 (Shanghai; China)
book: Service-Oriented Computing - (9783642343209; 9783642343216)
11573/486478 - 2012 -
Automatic generation and learning of finite-state controllers Leonetti, Matteo; Iocchi, Luca; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 15th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2012 (Varna)
book: Artificial Intelligence: Methodology, Systems, and Applications - 15th International Conference, AIMSA 2012 - (9783642331848; 9783642331855)
11573/438804 - 2011 -
An effective approach to realizing planning programs Alfonso, Gerevini; Patrizi, Fabio; Alessandro, Saetti - 04b Atto di convegno in volume
conference: ICAPS 2011 (Freiburg; Germany)
book: Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS 2011) - (9781577355038)
11573/438807 - 2011 -
A computationally-grounded semantics for artifact-centric systems and abstraction results Francesco, Belardinelli; Alessio, Lomuscio; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) (Barcelona; Spain)
book: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) - (9781577355120)
11573/439037 - 2011 -
Verification of deployed artifact systems via data abstraction Francesco, Belardinelli; Alessio, Lomuscio; Patrizi, Fabio - 04b Atto di convegno in volume
conference: Ninth International Conference on Service Oriented Computing (ICSOC 2011) ()
book: Service Oriented Computing - (9783642255342; 9783642255359)
11573/416351 - 2011 -
Computing infinite plans for LTL goals using a classical planner Patrizi, Fabio; Lipovetzky, Nir; De Giacomo, Giuseppe; Hector, Geffner - 04b Atto di convegno in volume
conference: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Barcelona, Catalonia)
book: Proceedings of the 22nd International Joint Conference on Artificial Intelligence - (9781577355120)
11573/194284 - 2010 -
Two-player game structures for generalized planning and agent composition De Giacomo, Giuseppe; Felli, Paolo; Patrizi, Fabio; Sardina, Sebastian - 04b Atto di convegno in volume
conference: 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference, AAAI-10 / IAAI-10 (Atlanta, GA)
book: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010) - (9781577354642)
11573/194276 - 2010 -
Automated composition of nondeterministic stateful services De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 6th International Workshop on Web Services and Formal Methods, WS-FM 2009 (Bologna; Italy)
book: Proceedings the 6th Int. Workshop on Web Services and Formal Methods (WS-FM'09) - (9783642144578)
11573/194292 - 2010 -
Agent programming via planning programs De Giacomo, Giuseppe; Patrizi, Fabio; Sebastian, Sardina - 04b Atto di convegno in volume
conference: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) (Toronto, Canada)
book: Proceedings of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) - ()
11573/194295 - 2010 -
Generalized Planning with Loops under Strong Fairness Constraints De Giacomo, Giuseppe; Patrizi, Fabio; Sebastian, Sardina - 04b Atto di convegno in volume
conference: Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010) (Toronto, Ontario, Canada)
book: Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010) - ()
De Masellis, Riccardo; Di Ciccio, Claudio; Mecella, Massimo; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 7th International Conference on Service Systems and Service Management, ICSSSM'10 (Tokyo, Japan)
book: Proc. of ICSSSM'10 - (9781424464852; 9781424464876)
11573/327779 - 2009 -
Automatic Verification of Data-Centric Business Processes Alin, Deutsch; Richard, Hull; Patrizi, Fabio; Victor, Vianu - 04b Atto di convegno in volume
conference: 12th International Conference on Database Theory (Saint Petersburg; Russian Federation)
book: Proceedings of the 12th International Conference on Database Theory (ICDT'09) - (9781605584232)
11573/212247 - 2009 -
An Embedded Middleware Platform for Pervasive and Immersive Environments for-All Baldoni, Roberto; Di Ciccio, Claudio; Mecella, Massimo; Patrizi, Fabio; Querzoni, Leonardo; Santucci, Giuseppe; Cincotti, Febo; Aloise, Fabio - 04b Atto di convegno in volume
conference: 6th Annual IEEE-Communications-Society Conference on Sensor, Mesh and Ad Hoc Communications and Network (SECON 2009) (Rome, ITALY)
book: Sixth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Network (SECON 2009) - (9781424439386)
11573/194275 - 2009 -
Composition of partially observable services exporting their behaviour De Giacomo, Giuseppe; De Masellis, Riccardo; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 19th International Conference on Automated Planning and Scheduling, ICAPS 2009 (Thessaloniki)
book: Procedings the 19th Int. Conference on Automated Planning and Scheduling (ICAPS'09) - (9781577354062)
11573/194280 - 2009 -
Solving High-Level Planning Programs (Extended Abstract) De Giacomo, Giuseppe; Patrizi, Fabio; Sebastian, Sardina - 04a Atto di comunicazione a congresso
conference: ICAPS'09 Workshop on Generalized Planning: Macros, Loops, Domain Control (GenPlan'09) (Thessaloniki, Greece)
book: ICAPS'09 Workshop on Generalized Planning: Macros, Loops, Domain Control (GenPlan'09) - ()
11573/344815 - 2009 -
On the separability of subproblems in Benders decompositions Marco, Cadoli; Patrizi, Fabio - 01a Articolo in rivista
paper: ANNALS OF OPERATIONS RESEARCH (Switzerland: Springer Nature
Dordrecht: Kluwer Academic Publishers.
Amsterdam; Bussum: Baltzer Science Publishers.) pp. 27-43 - issn: 0254-5330 - wos: WOS:000270447700003 (1) - scopus: 2-s2.0-70350344791 (1)
11573/1475706 - 2009 -
An introduction to simulation-based techniques for automated service composition Patrizi, F. - 04b Atto di convegno in volume
conference: 4th European Young Researchers Workshop on Service Oriented Computing, YRSOC 2009 (CNR Institute of Information Science and Technologies, ita)
book: Electronic Proceedings in Theoretical Computer Science, EPTCS - ()
11573/194282 - 2009 -
Composition of Services that Share an Infinite-State Blackboard (Extended Abstract) Patrizi, Fabio; De Giacomo, Giuseppe - 04a Atto di comunicazione a congresso
conference: Proceedings of IJCAI 2009 Workshop on Information Integration on the Web (IIWEB'09) (Pasadena, California, USA)
book: Proceedings of IJCAI 2009 Workshop on Information Integration on the Web (IIWEB'09), 2009. - ()
11573/368202 - 2008 -
SWSCE - An Automatic Semantic Web Service Composition Engine Bonomi, Silvia; V., Colaianni; Patrizi, Fabio; D., Pozzi; R., Russo; Mecella, Massimo - 04b Atto di convegno in volume
book: Proceedings of the 1st International Workshop on Emergent Semantics and cooperation in open systems (ESTEEM’08) - ()
11573/358119 - 2008 -
AUTOMATIC SERVICE COMPOSITION AND SYNTHESIS: THE ROMAN MODEL Calvanese, D; De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo; Patrizi, Fabio - 01a Articolo in rivista
paper: IEEE DATA ENGINEERING BULLETIN () pp. 18-22 - issn: - wos: (0) - scopus: (0)
11573/362006 - 2008 -
Automatic service composition via simulation Daniela, Berardi; Patrizi, Fabio; Fahima, Cheikh; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (Singapore: World Scientific.) pp. 429-451 - issn: 0129-0541 - wos: WOS:000255611400010 (44) - scopus: 2-s2.0-44249113629 (60)
conference: 4th International Conference on Concept Lattices and Their Applications (Hammamet, TUNISIA)
11573/194264 - 2008 -
Behavior Composition in the Presence of Failure De Giacomo, Giuseppe; Patrizi, Fabio; Sebastian, Sardina - 04b Atto di convegno in volume
conference: 11th Int. Conference on Principles of Knowledge Representation and Reasoning (KR'08) (Sydney, Australia)
book: Proceedings of the 11th Int. Conference on Principles of Knowledge Representation and Reasoning (KR'08) - ()
11573/362240 - 2008 -
Evaluating ASP and commercial solvers on the CSPLib Mancini, Toni; Davide, Micaletto; Patrizi, Fabio; Marco, Cadoli - 01a Articolo in rivista
paper: CONSTRAINTS (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 407-436 - issn: 1383-7133 - wos: WOS:000259561200001 (17) - scopus: 2-s2.0-52249113653 (27)
11573/358594 - 2007 -
Automatic workflows composition of mobile services De Giacomo, Giuseppe; De Leoni, Massimiliano; Mecella, Massimo; Patrizi, Fabio - 04b Atto di convegno in volume
conference: IEEE International Conference on Web Services (ICWS 2007) (Salt Lake City, UT)
book: Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007) - (9780769529240)
11573/358409 - 2007 -
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors De Giacomo, Giuseppe; Patrizi, Fabio; Sebastian, Sardina - 04b Atto di convegno in volume
conference: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference (Vancouver; Canada)
book: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI'07) - (1577353234)
11573/418101 - 2006 -
Evaluating ASP and commercial solvers on the CSPLib – Preliminary report Cadoli, Marco; Mancini, Toni; Davide, Micaletto; Patrizi, Fabio - 04b Atto di convegno in volume
conference: The Twentieth International Workshop on Logic Programming (Vienna, Austria)
book: Proceedings of the Twentieth International Workshop on Logic Programming - ()
11573/367323 - 2006 -
Evaluating ASP and commercial solvers on the CSPLib Cadoli, Marco; Mancini, Toni; Micaletto, D.; Patrizi, Fabio - 04b Atto di convegno in volume
conference: Seventeenth European Conference on Artificial Intelligence (ECAI 2006) (Riva del Garda, Italy)
book: Proceedings of the Seventeenth European Conference on Artificial Intelligence (ECAI 2006) - (9781586036423)
11573/367170 - 2006 -
SAT as an effective solving technology for constraint problems Cadoli, Marco; Mancini, Toni; Patrizi, Fabio - 04b Atto di convegno in volume
conference: Foundations of Intelligent Systems (Proceedings of ISMIS 2006 (Bari, Italy)
book: Foundations of Intelligent Systems (Proceedings of ISMIS '06) - (354045764X)
11573/367678 - 2006 -
On the separability of subproblems in Benders decompositions Cadoli, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2006 (Cork; Ireland)
book: Proceedings of the Third International Conference on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR~2006) - (3540343067)
11573/240561 - 2005 -
Task assignment with dynamic token generation Alessandro, Farinelli; Iocchi, Luca; Nardi, Daniele; Patrizi, Fabio - 04c Atto di convegno in rivista
paper: ADVANCES IN SOFT COMPUTING (Heidelberg ; Berlin : Springer) pp. 466-477 - issn: 1615-3871 - wos: WOS:000228476800036 (2) - scopus: 2-s2.0-84886817151 (3)
conference: International Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems (Plock, Poland)
book: Monitoring, Security, and Rescue Techniques in Multiagent Systems - (9783540232452)
11573/362609 - 2005 -
A Multi Agent System Approach for Emergency Intervention: Experimental Analisys and Evaluation. Farinelli, A; Iocchi, Luca; Nardi, Daniele; Patrizi, Fabio - 01a Articolo in rivista
paper: INTELLIGENZA ARTIFICIALE (Associazione Italiana per l'Intelligenza Artificiale) pp. 47-53 - issn: 1724-8035 - wos: (0) - scopus: (0)
11573/359036 - 2004 -
Experiments with the RoboCup Rescue Simulator in a post Earthquake Emergency Italian Scenario Biagetti, Angelo; Farinelli, Alessandro; Iocchi, Luca; Nardi, Daniele; Patrizi, Fabio - 04a Atto di comunicazione a congresso
book: In proc. of IEEE International Workshop on Safety, Security and Rescue Robots (SSRR) - ()