70 citations · 85 across the 16 of their papers we have counts for
17 papers
Time to Reason: Scalable Neurosymbolic Learning for LTLf via Fuzzy Semantics
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele +4
Neurosymbolic (NeSy) Artificial Intelligence aims to integrate Deep Learning (DL) architectures with symbolic reasoning. While initial NeSy approaches have targeted mainly symbolic…
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
Ivan Donadello, Paolo Felli, Craig Innes +2
Traditional conformance checking tasks assume that event data provide a faithful and complete representation of the actual process executions. This assumption has been recently que…
A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
Alessandro Burigana, Paolo Felli, Marco Montali +1
The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led to a widely adopted action formalism that can handle nondeterminism, partial observability and arbitrary kn…
DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
Alessandro Burigana, Paolo Felli, Marco Montali
Dynamic Epistemic Logic (DEL) provides a framework for epistemic planning that is capable of representing non-deterministic actions, partial observability, higher-order knowledge a…
Monitoring Arithmetic Temporal Properties on Finite Traces
Paolo Felli, Marco Montali, Fabio Patrizi +1
We study monitoring of linear-time arithmetic properties against finite traces generated by an unknown dynamic system. The monitoring state is determined by considering at once the…
Conformance Checking with Uncertainty via SMT (Extended Version)
Paolo Felli, Alessandro Gianola, Marco Montali +2
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain l…
CTL* model checking for data-aware dynamic systems with arithmetic
Paolo Felli, Marco Montali, Sarah Winkler
The analysis of complex dynamic systems is a core research topic in formal methods and AI, and combined modelling of systems with data has gained increasing importance in applicati…
Soundness of Data-Aware Processes with Arithmetic Conditions
Paolo Felli, Marco Montali, Sarah Winkler
Data-aware processes represent and integrate structural and behavioural constraints in a single model, and are thus increasingly investigated in business process management and inf…
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Paolo Felli, Marco Montali, Sarah Winkler
Combined modeling and verification of dynamic systems and the data they operate on has gained momentum in AI and in several application domains. We investigate the expressive yet c…
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Christian Muise, Vaishak Belle, Paolo Felli +4
Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, pla…
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Paolo Felli, Alessandro Gianola, Marco Montali +2
Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has…
SMT-based Safety Verification of Parameterised Multi-Agent Systems
Paolo Felli, Alessandro Gianola, Marco Montali
In this paper we study the verification of parameterised multi-agent systems (MASs), and in particular the task of verifying whether unwanted states, characterised as a given state…
Situation Calculus for Synthesis of Manufacturing Controllers
Giuseppe De Giacomo, Brian Logan, Paolo Felli +2
Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to…
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)
Massimiliano de Leoni, Paolo Felli, Marco Montali
The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated model…
Supervisory Control for Behavior Composition
Paolo Felli, Nitin Yadav, Sebastian Sardina
We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., im…
Social planning for social HRI
Liz Sonenberg, Tim Miller, Adrian Pearce +3
Making a computational agent 'social' has implications for how it perceives itself and the environment in which it is situated, including the ability to recognise the behaviours of…
Description Logic Knowledge and Action Bases
Babak Bagheri Hariri, Diego Calvanese, Marco Montali +3
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a…