FELLI, PAOLO
FELLI, PAOLO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Ricercatori a tempo determinato
'Knowing Whether' in Proper Epistemic Knowledge Bases
2016 Miller T, Felli P, Muise C, Pearce AR, Sonenberg L
A Holistic Approach for Soundness Verification of Decision-Aware Process Models
2018 Massimiliano de Leoni, Paolo Felli, Marco Montali
A Semantic Approach to Decidability in Epistemic Planning
2023 Burigana A.; Felli P.; Montali M.; Troquard N.
A Semantic Approach to Decidability in Epistemic Planning
2023 Burigana A.; Felli P.; Montali M.; Troquard N.
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems
2020 Paolo Felli, Alessandro Gianola, Marco Montali
Agent composition synthesis based on ATL
2010 Giuseppe De Giacomo; Paolo Felli
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others
2014 Felli Paolo, Miller Tim, Muise Christian, Pearce Adrian R., Sonenberg Liz
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
2021 Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Composite Capabilities for Cloud Manufacturing
2018 Lavindra de Silva, Paolo Felli, Brian Logan, Svetan Ratchev
Computing Social Behaviours Using Agent Models
2015 Felli P, Miller T, Muise C, Pearce AR, Sonenberg L
Conformance Checking with Uncertainty via SMT
2022 Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic
2022 Paolo Felli, Marco Montali, Sarah Winkler
Data-aware conformance checking with SMT
2023 Felli P.; Gianola A.; Montali M.; Rivkin A.; Winkler S.
Description logic Knowledge and Action Bases
2013 Bagheri Hariri B, Calvanese D, Montali M, De Giacomo G, De Masellis R, Felli P
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
2022 Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases
2015 Muise C, Miller T, Felli P, Pearce AR, Sonenberg L
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing
2014 Miller Tim, Pearce Adrian, Sonenberg Liz, Dignum Frank, Felli Paolo, Muise Christian
Foundations of Relational Artifacts Verification
2011 Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Goal-based composition of stateful services for smart homes
2012 De Giacomo Giuseppe, Di Ciccio Claudio, Felli Paolo, Hu Yuxiao, Mecella Massimo
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
2021 Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 'Knowing Whether' in Proper Epistemic Knowledge Bases | Miller T, Felli P, Muise C, Pearce AR, Sonenberg L | 2016-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A Holistic Approach for Soundness Verification of Decision-Aware Process Models | Massimiliano de Leoni, Paolo Felli, Marco Montali | 2018-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A Semantic Approach to Decidability in Epistemic Planning | Burigana A.; Felli P.; Montali M.; Troquard N. | 2023-01-01 | - | IOS Press BV | 4.01 Contributo in Atti di convegno | FAIA-372-FAIA230286.pdf |
| A Semantic Approach to Decidability in Epistemic Planning | Burigana A.; Felli P.; Montali M.; Troquard N. | 2023-01-01 | - | International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) | 4.02 Riassunto (Abstract) | - |
| A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems | Paolo Felli, Alessandro Gianola, Marco Montali | 2020-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Agent composition synthesis based on ATL | Giuseppe De Giacomo; Paolo Felli | 2010-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others | Felli Paolo, Miller Tim, Muise Christian, Pearce Adrian R., Sonenberg Liz | 2014-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler | 2021-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Composite Capabilities for Cloud Manufacturing | Lavindra de Silva, Paolo Felli, Brian Logan, Svetan Ratchev | 2018-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Computing Social Behaviours Using Agent Models | Felli P, Miller T, Muise C, Pearce AR, Sonenberg L | 2015-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Conformance Checking with Uncertainty via SMT | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic | Paolo Felli, Marco Montali, Sarah Winkler | 2022-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | 978-3-031-10769-6_4.pdf |
| Data-aware conformance checking with SMT | Felli P.; Gianola A.; Montali M.; Rivkin A.; Winkler S. | 2023-01-01 | INFORMATION SYSTEMS | - | 1.01 Articolo in rivista | is.pdf; 1-s2.0-S0306437923000662-main.pdf |
| Description logic Knowledge and Action Bases | Bagheri Hariri B, Calvanese D, Montali M, De Giacomo G, De Masellis R, Felli P | 2013-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | - |
| Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief | Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R. Pearce, Liz ...Sonenberg | 2022-01-01 | ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
| Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases | Muise C, Miller T, Felli P, Pearce AR, Sonenberg L | 2015-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing | Miller Tim, Pearce Adrian, Sonenberg Liz, Dignum Frank, Felli Paolo, Muise Christian | 2014-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Foundations of Relational Artifacts Verification | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli | 2011-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Goal-based composition of stateful services for smart homes | De Giacomo Giuseppe, Di Ciccio Claudio, Felli Paolo, Hu Yuxiao, Mecella Massimo | 2012-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs | Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli | 2021-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |