Follow
Paolo Felli
Paolo Felli
Verified email at unibo.it - Homepage
Title
Cited by
Cited by
Year
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach
CJ Muise, V Belle, P Felli, SA McIlraith, T Miller, AR Pearce, L Sonenberg
AAAI, 3327-3334, 2015
1422015
Description logic knowledge and action bases
BB Hariri, D Calvanese, M Montali, G De Giacomo, R De Masellis, P Felli
Journal of Artificial Intelligence Research 46, 651-686, 2013
972013
Foundations of relational artifacts verification
BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli
International Conference on Business Process Management, 379-395, 2011
74*2011
A holistic approach for soundness verification of decision-aware process models
M De Leoni, P Felli, M Montali
Conceptual Modeling: 37th International Conference, ER 2018, Xi'an, China …, 2018
622018
CoCoMoT: conformance checking of multi-perspective processes via SMT
P Felli, A Gianola, M Montali, A Rivkin, S Winkler
Business Process Management: 19th International Conference, BPM 2021, Rome …, 2021
452021
Soundness verification of decision-aware process models with variable-to-variable conditions
P Felli, M De Leoni, M Montali
2019 19th International Conference on Application of Concurrency to System …, 2019
362019
Two-Player Game Structures for Generalized Planning and Agent Composition
G De Giacomo, P Felli, F Patrizi, S Sardina
AAAI, 297-302, 2010
322010
Realisability of production recipes
L de Silva, P Felli, JC Chaplin, B Logan, D Sanderson, S Ratchev
ECAI, 1449-1457, 2016
302016
Linear-time verification of data-aware dynamic systems with arithmetic
P Felli, M Montali, S Winkler
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5642-5650, 2022
272022
Efficient multi-agent epistemic planning: Teaching planners about nested belief
C Muise, V Belle, P Felli, S McIlraith, T Miller, AR Pearce, L Sonenberg
Artificial Intelligence 302, 103605, 2022
262022
Verification of Description Logic Knowledge and Action Bases
BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli, M Montali
ECAI 242, 103-108, 2012
242012
Integrating BPMN and DMN: modeling and analysis
M De Leoni, P Felli, M Montali
Journal on Data Semantics 10 (1), 165-188, 2021
222021
'Knowing Whether' in Proper Epistemic Knowledge Bases
T Miller, P Felli, CJ Muise, AR Pearce, L Sonenberg
AAAI, 1044-1050, 2016
222016
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events
N Yadav, P Felli, G De Giacomo, S Sardina
IJCAI, 1176-1182, 2013
202013
Soundness of data-aware processes with arithmetic conditions
P Felli, M Montali, S Winkler
International Conference on Advanced Information Systems Engineering, 389-406, 2022
182022
Synthesising industry-standard manufacturing process controllers
L de Silva, P Felli, JC Chaplin, B Logan, D Sanderson, S Ratchev
AAMAS, 1811-1813, 2017
182017
Strategy synthesis for data-aware dynamic systems with multiple actors
M de Leoni, P Felli, M Montali
Proceedings of the International Conference on Principles of Knowledge …, 2020
172020
Situation calculus for controller synthesis in manufacturing systems with first-order state representation
G De Giacomo, P Felli, B Logan, F Patrizi, S Sardina
Artificial Intelligence 302, 103598, 2022
162022
Soundness verification of data-aware process models with variable-to-variable conditions
P Felli, M De Leoni, M Montali
fundamenta informaticae 182 (1), 1-29, 2021
162021
Agent composition synthesis based on ATL
G De Giacomo, P Felli
AAMAS, 499-506, 2010
162010
The system can't perform the operation now. Try again later.
Articles 1–20