Fabio Patrizi

Marco Montali

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Multi-model Monitoring Framework for Hybrid Process Specifications.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2022

ASP-Based Declarative Process Mining.

[BibT_eX]

[DOI]

Francesco Chiariello

Fabrizio Maria Maggi

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach.

[BibT_eX]

[DOI]

CoRR, 2021

Timed Trace Alignment with Metric Temporal Logic over Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Discovering Declarative Process Model Behavior from Event Logs via Model Learning.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Process Mining, 2021

2020

Temporal Logic Monitoring Rewards via Transducers.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

High-level Programming via Generalized Planning and LTL Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Imitation Learning over Heterogeneous Agents with Restraining Bolts.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Restraining Bolts for Reinforcement Learning Agents.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Modeling and In-Database Management of Relational, Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2019

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

First-order <i>μ</i>-calculus over generic transition systems and applications to the situation calculus.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Modelling and Enactment of Data-aware Processes.

[BibT_eX]

[DOI]

CoRR, 2018

Reinforcement Learning for LTLf/LDLf Goals.

[BibT_eX]

[DOI]

CoRR, 2018

Situation Calculus for Synthesis of Manufacturing Controllers.

[BibT_eX]

[DOI]

CoRR, 2018

LTLf/LDLf Non-Markovian Rewards.

[BibT_eX]

[DOI]

Ronen I. Brafman

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version).

[BibT_eX]

[DOI]

Ronen I. Brafman

CoRR, 2017

On the Disruptive Effectiveness of Automated Planning for LTL<i>f</i>-Based Trace Alignment.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Progression and Verification of Situation Calculus Agents with Bounded Beliefs.

[BibT_eX]

[DOI]

Stud Logica, 2016

Guest editorial: special issue on data and artifact-centric business processes.

[BibT_eX]

[DOI]

Marlon Dumas

Richard Hull

Computing, 2016

Bounded situation calculus action theories.

[BibT_eX]

[DOI]

Yves Lespérance

Artif. Intell., 2016

Agent planning programs.

[BibT_eX]

[DOI]

Alfonso Emilio Gerevini

Alessandro Saetti

Artif. Intell., 2016

On First-Order μ-Calculus over Situation Calculus Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Plan Synthesis for Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Synthesizing and Executing Plans in Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

Verifying ConGolog Programs on Bounded Situation Calculus Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Leveraging Relational Technology for Data-Centric Dynamic Systems.

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Implementing Data-Centric Dynamic Systems over a Relational DBMS.

[BibT_eX]

[DOI]

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014

Verification of Agent-Based Artifact Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

Action Theories over Generalized Databases with Equality Constraints (Extended Abstract).

[BibT_eX]

[DOI]

Stavros Vassos

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Action Theories over Generalized Databases with Equality Constraints.

[BibT_eX]

[DOI]

Stavros Vassos

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Automated Service Composition Based on Behaviors: The Roman Model.

[BibT_eX]

[DOI]

Massimo Mecella

Proceedings of the Web Services Foundations, 2014

2013

Automatic behavior composition synthesis.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Implementing and Running Data-Centric Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Verification and Synthesis in Description Logic Based Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

A Classification of First-Order Progressable Action Theories in Situation Calculus.

[BibT_eX]

[DOI]

Stavros Vassos

Proceedings of the IJCAI 2013, 2013

Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.

[BibT_eX]

[DOI]

Nir Lipovetzky

Hector Geffner

Proceedings of the IJCAI 2013, 2013

Bounded Epistemic Situation Calculus Theories.

[BibT_eX]

[DOI]

Yves Lespérance

Proceedings of the IJCAI 2013, 2013

ICSOC PhD Symposium 2013.

[BibT_eX]

[DOI]

Boualem Benatallah

Ivona Brandic

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Towards a Reference Implementation for Data Centric Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2013

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).

[BibT_eX]

[DOI]

Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

An Abstraction Technique for the Verification of Artifact-Centric Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Automatic Generation and Learning of Finite-State Controllers.

[BibT_eX]

[DOI]

Matteo Leonetti

Luca Iocchi

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012

Bounded Situation Calculus Action Theories and Decidable Verification.

[BibT_eX]

[DOI]

Yves Lespérance

Proceedings of the Cognitive Robotics, 2012

2011

Computing Infinite Plans for LTL Goals Using a Classical Planner.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Verification of Deployed Artifact Systems via Data Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

An Effective Approach to Realizing Planning Programs.

[BibT_eX]

[DOI]

Alfonso Gerevini

Alessandro Saetti

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

2010

Generalized Planning with Loops under Strong Fairness Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Agent programming via planning programs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Two-Player Game Structures for Generalized Planning and Agent Composition.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

An Introduction to Simulation-Based Techniques for Automated Service Composition

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, 2009

On the separability of subproblems in Benders decompositions.

[BibT_eX]

[DOI]

Marco Cadoli

Ann. Oper. Res., 2009

Automated Composition of Nondeterministic Stateful Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Automatic verification of data-centric business processes.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2009

Composition of Partially Observable Services Exporting their Behaviour.

[BibT_eX]

[DOI]

Riccardo De Masellis

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Automatic Service Composition via Simulation.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

Automatic Service Composition and Synthesis: the Roman Model.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2008

Evaluating ASP and Commercial Solvers on the CSPLib.

[BibT_eX]

[DOI]

Constraints An Int. J., 2008

Behavior Composition in the Presence of Failure.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2007

AutomaticWorkflows Composition of Mobile Services.

[BibT_eX]

[DOI]

Massimiliano de Leoni

Massimo Mecella

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Evaluating ASP and commercial solvers on the CSPLib (Preliminary work).

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

SAT as an Effective Solving Technology for Constraint Problems.

[BibT_eX]

[DOI]

Marco Cadoli

Toni Mancini