Paolo Felli
Titel
Geciteerd door
Geciteerd door
Jaar
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
742015
Foundations of relational artifacts verification
BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli
BPM, 379-395, 2011
642011
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
632013
Two-Player Game Structures for Generalized Planning and Agent Composition
G De Giacomo, P Felli, F Patrizi, S Sardina
AAAI, 297-302, 2010
282010
Realisability of production recipes
L de Silva, P Felli, JC Chaplin, B Logan, D Sanderson, S Ratchev
ECAI, 1449-1457, 2016
182016
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events
N Yadav, P Felli, G De Giacomo, S Sardina
IJCAI, 1176-1182, 2013
182013
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
172012
Agent composition synthesis based on ATL
G De Giacomo, P Felli
AAMAS, 499-506, 2010
162010
A holistic approach for soundness verification of decision-aware process models
M de Leoni, P Felli, M Montali
International Conference on Conceptual Modeling, 219-235, 2018
132018
Goal-based composition of stateful services for smart homes
G De Giacomo, C Di Ciccio, P Felli, Y Hu, M Mecella
OTM Confederated International Conferences" On the Move to Meaningful …, 2012
122012
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments
P Felli, G De Giacomo, A Lomuscio
KR, 457-466, 2012
12*2012
Synthesising industry-standard manufacturing process controllers
L de Silva, P Felli, JC Chaplin, B Logan, D Sanderson, S Ratchev
AAMAS, 1811-1813, 2017
102017
'Knowing Whether' in Proper Epistemic Knowledge Bases
T Miller, P Felli, CJ Muise, AR Pearce, L Sonenberg
AAAI, 1044-1050, 2016
102016
'Knowing Whether' in Proper Epistemic Knowledge Bases
T Miller, P Felli, CJ Muise, AR Pearce, L Sonenberg
AAAI, 1044-1050, 2016
102016
Artificial social reasoning: computational mechanisms for reasoning about others
P Felli, T Miller, C Muise, AR Pearce, L Sonenberg
International Conference on Social Robotics, 146-155, 2014
102014
Planning for a Single Agent in a Multi-Agent Environment Using FOND
C Muise, P Felli, T Miller, AR Pearce, L Sonenberg
IJCAI, 3206--3212, 2016
82016
Efficient reasoning with consistent proper epistemic knowledge bases
C Muise, T Miller, P Felli, AR Pearce, L Sonenberg
AAMAS, 1461-1469, 2015
82015
Toward process control from formal models of transformable manufacturing systems
OJ Bakker, JC Chaplin, L de Silva, P Felli, D Sanderson, B Logan, ...
Procedia CIRP 63, 521-526, 2017
62017
Supervisory control for behavior composition
P Felli, N Yadav, S Sardiņa
IEEE Transactions on Automatic Control 62 (2), 986-991, 2016
52016
Parallel behavior composition for manufacturing
P Felli, B Logan, S Sardina
IJCAI, 271-278, 2016
52016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20