팔로우
gianluca torta
gianluca torta
unito.it의 이메일 확인됨
제목
인용
인용
연도
On-line monitoring and diagnosis of multi-agent systems: a model based approach
R Micalizio, P Torasso, G Torta
ECAI 16, 848, 2004
552004
Model-based diagnosis through OBDD compilation: A complexity analysis
P Torasso, G Torta
Reasoning, Action and Interaction in AI Theories and Systems: Essays …, 2006
432006
On-line monitoring and diagnosis of a team of service robots: a model-based approach
R Micalizio, P Torasso, G Torta
AI Communications 19 (4), 313-340, 2006
352006
Computing minimum-cardinality diagnoses using OBDDs
P Torasso, G Torta
Annual Conference on Artificial Intelligence, 224-238, 2003
352003
The role of OBDDs in controlling the complexity of model based diagnosis
G Torta, P Torasso
Proc. of 15th International Workshop on Principles of Diagnosis (DX-04), 2004
252004
Automatic abstraction in component-based diagnosis driven by system observability
G Torta, P Torasso
IJCAI, 394-402, 2003
222003
Aggregate processes as distributed adaptive services for the industrial internet of things
L Testa, G Audrito, F Damiani, G Torta
Pervasive and Mobile Computing 85, 101658, 2022
162022
Extensible 3D simulation of aggregated systems with FCPP
G Audrito, L Rapetta, G Torta
International Conference on Coordination Languages and Models, 55-71, 2022
162022
Distributed runtime verification by past-ctl and the field calculus
G Audrito, F Damiani, V Stolz, G Torta, M Viroli
Journal of Systems and Software 187, 111251, 2022
162022
A web-based, relational database for studying glaciers in the Italian Alps
G Nigrelli, M Chiarle, A Nuzzi, L Perotti, G Torta, M Giardino
Computers & geosciences 51, 101-107, 2013
162013
Formalizing the abstraction process in model-based diagnosis
L Saitta, P Torasso, G Torta
International Symposium on Abstraction, Reformulation, and Approximation …, 2007
152007
Fostering resilient execution of multi-agent plans through self-organisation
G Audrito, R Casadei, G Torta
2021 IEEE International Conference on Autonomic Computing and Self …, 2021
122021
Diagnosing delays in multi-agent plans execution
R Micalizio, G Torta
ECAI 2012, 594-599, 2012
122012
Compact diagnoses representation in diagnostic problem solving
P Torasso, G Torta
Computational Intelligence 21 (1), 27-68, 2005
122005
Towards integration of multi-agent planning with self-organising collective processes
G Audrito, R Casadei, G Torta
2021 IEEE International Conference on Autonomic Computing and Self …, 2021
112021
Explaining interdependent action delays in multiagent plans execution
R Micalizio, G Torta
Autonomous Agents and Multi-Agent Systems 30, 601-639, 2016
112016
A multi-UAS cooperative mission over non-segregated civil areas
M Boccalatte, F Brogi, F Catalfamo, S Maddaluno, M Martino, V Mellano, ...
Journal of Intelligent & Robotic Systems 70, 275-291, 2013
112013
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems
G Torta, P Torasso
AI Communications 20 (2), 93-116, 2007
112007
Mixed-initiative scheduling of tasks in user collaboration
L Ardissono, G Petrone, G Torta, M Segnan
International Conference on Web Information Systems and Technologies 2, 342-351, 2012
102012
On the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model
G Torta, P Torasso
International Conference on Innovative Techniques and Applications of …, 2005
102005
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20