Search Results - "Patrizi, Fabio"

An Introduction to Simulation-Based Techniques for Automated Service Composition by Patrizi, Fabio

“…This work is an introduction to the author's contributions to the SOC area, resulting from his PhD research activity. It focuses on the problem of…”
Get full text

Evaluating ASP and Commercial Solvers on the CSPLib by Mancini, Toni, Micaletto, Davide, Patrizi, Fabio, Cadoli, Marco

“…This paper deals with four solvers for combinatorial problems: the commercial state-of-the-art solver ILOG oplstudio , and the research answer set programming…”
Get full text

Mimicking Behaviors in Separated Domains by De Giacomo, Giuseppe, Fried, Dror, Patrizi, Fabio, Zhu, Shufang

“…Devising a strategy to make a system mimic behaviors from another system is a problem that naturally arises in many areas of Computer Science. In this work, we…”
Get full text

Bounded situation calculus action theories by De Giacomo, Giuseppe, Lespérance, Yves, Patrizi, Fabio

“…In this paper,1 we investigate bounded action theories in the situation calculus. A bounded action theory is one which entails that, in every situation, the…”
Get full text

Situation calculus for controller synthesis in manufacturing systems with first-order state representation by De Giacomo, Giuseppe, Felli, Paolo, Logan, Brian, Patrizi, Fabio, Sardiña, Sebastian

“…Manufacturing is transitioning from a mass production model to a service model in which facilities ‘bid’ to produce products. To decide whether to bid for a…”
Get full text

Monitoring hybrid process specifications with conflict management: An automata-theoretic approach by Alman, Anti, Maggi, Fabrizio Maria, Montali, Marco, Patrizi, Fabio, Rivkin, Andrey

“…Complexity of medical treatments can vary from prescribing medicine for a specific ailment to managing a complex set of simultaneous medical issues. In the…”
Get full text

Proceedings 38th International Conference on Logic Programming: ASP-Based Declarative Process Mining (Extended Abstract) by Chiariello, Francesco, Maggi, Fabrizio Maria, Patrizi, Fabio

Get full text

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global–local memory by Alman, Anti, Maggi, Fabrizio Maria, Montali, Marco, Patrizi, Fabio, Rivkin, Andrey

“…So far, approaches for business process modeling, enactment and monitoring have mainly been based on process specifications consisting of a single process…”
Get full text

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis by Agostinelli, Simone, Chiariello, Francesco, Maggi, Fabrizio Maria, Marrella, Andrea, Patrizi, Fabio

“…Within the process mining field, Deterministic Finite State Automata (DFAs) are largely employed as foundation mechanisms to perform formal reasoning tasks…”
Get full text

Automatic behavior composition synthesis by De Giacomo, Giuseppe, Patrizi, Fabio, Sardiña, Sebastian

“…The behavior composition problem amounts to realizing a virtual desired module (e.g., a surveillance agent system) by suitably coordinating (and re-purposing)…”
Get full text

Agent planning programs by De Giacomo, Giuseppe, Gerevini, Alfonso Emilio, Patrizi, Fabio, Saetti, Alessandro, Sardina, Sebastian

“…This work proposes a novel high-level paradigm, agent planning programs, for modeling agents behavior, which suitably mixes automated planning with…”
Get full text

Verification of Agent-Based Artifact Systems by Belardinelli, F., Lomuscio, A., Patrizi, F.

“…Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts…”
Get full text

Guest editorial: special issue on data and artifact-centric business processes by Dumas, Marlon, Hull, Richard, Patrizi, Fabio

“…Issue Title: Special Issue on Data and artifact-centric business processes…”
Get full text

On the separability of subproblems in Benders decompositions by Cadoli, Marco, Patrizi, Fabio

“…Benders decomposition is a well-known procedure for solving a combinatorial optimization problem by defining it in terms of a master problem and a slave…”
Get full text

The “sustainable tourist”: Values, attitudes, and personality traits by Passafaro, Paola, Cini, Francesca, Boi, Lorenzo, D’Angelo, Michela, Heering, Maria Sofia, Luchetti, Laura, Mancini, Armando, Martemucci, Valentina, Pacella, Giulia, Patrizi, Fabio, Sassu, Federica, Triolo, Monica

“…This paper reports the results of two exploratory studies (overall N=532) which aimed at drawing the profile of the “sustainable tourist” (a person committed…”
Get full text

Progression and Verification of Situation Calculus Agents with Bounded Beliefs by De Giacomo, Giuseppe, Lespérance, Yves, Patrizi, Fabio, Vassos, Stavros

“…We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such…”
Get full text

Proceedings of the 4th International Workshop on Strategic Reasoning: LTL Reactive Synthesis under Assumptions (Abstract) by Aminof, Benjamin, De Giacomo, Giuseppe, Murano, Aniello, Patrizi, Fabio, Rubin, Sasha

Get full text

ASP-Based Declarative Process Mining (Extended Abstract) by Chiariello, Francesco, Maggi, Fabrizio Maria, Patrizi, Fabio

“…38th International Conference on Logic Programming (ICLP2022) We propose Answer Set Programming (ASP) as an approach for modeling and solving problems from the…”
Get full text

Optimal Alignment of Temporal Knowledge Bases by Fernandez-Gil, Oliver, Patrizi, Fabio, Perelli, Giuseppe, Turhan, Anni-Yasmin

“…Answering temporal CQs over temporalized Description Logic knowledge bases (TKB) is a main technique to realize ontology-based situation recognition. In case…”
Get full text

Monitoring Arithmetic Temporal Properties on Finite Traces by Felli, Paolo, Montali, Marco, Patrizi, Fabio, Winkler, Sarah

“…We study monitoring of linear-time arithmetic properties against finite traces generated by an unknown dynamic system. The monitoring state is determined by…”
Get full text