Fabio Patrizi

Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), 2024

Strategy Repair for Reachability Games (short paper).

[BibT_eX]

[DOI]

Pierre Gaillard

Giuseppe Perelli

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes.

[BibT_eX]

[DOI]

Gabriel Paludo Licks

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Towards Learning the Optimal Sampling Strategy for Suffix Prediction in Predictive Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2024

On the Flexibility of Declarative Process Specifications.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2024

Mimicking Behaviors in Separated Domains (Abstract Reprint).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory.

[BibT_eX]

[DOI]

Inf. Syst., October, 2023

Data-Aware Declarative Process Mining with SAT.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., August, 2023

A tool for declarative Trace Alignment via automated planning.

[BibT_eX]

[DOI]

Softw. Impacts, May, 2023

Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, May, 2023

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis.

[BibT_eX]

[DOI]

Inf. Syst., March, 2023

Mimicking Behaviors in Separated Domains.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

A formalization of multi-agent planning with explicit agent representation.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Clock Specifications for Temporal Tasks in Planning and Learning.

[BibT_eX]

[DOI]

Marco Favorito

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

Optimal Alignment of Temporal Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Strategy Repair in Reachability Games.

[BibT_eX]

[DOI]

Pierre Gaillard

Giuseppe Perelli

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

From LTL on Process Traces to Finite-state Automata.

[BibT_eX]

[DOI]

Francesco Chiariello

Fabrizio Maria Maggi

Proceedings of the Best Dissertation Award, 2023

Scaling up Parallel Robot Plans to Improve Plan Execution Time: an Industrial Use Case (short paper).

[BibT_eX]

[DOI]

Proceedings of the 10th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

Monitoring Arithmetic Temporal Properties on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Exploiting Multiple Abstractions in Episodic RL via Reward Shaping.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

A tool for compiling Declarative Process Mining problems in ASP.

[BibT_eX]

[DOI]

Francesco Chiariello

Fabrizio Maria Maggi

Softw. Impacts, December, 2022

Situation calculus for controller synthesis in manufacturing systems with first-order state representation.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract).

[BibT_eX]

[DOI]

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

Verification of Generic, Relational Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.

[BibT_eX]

[DOI]

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