Gianluca Torta
Orcid: 0000-0002-4276-7213
According to our database1,
Gianluca Torta
authored at least 70 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Artif. Intell. Educ., September, 2024
A general framework and decentralised algorithms for collective computational processes.
Future Gener. Comput. Syst., 2024
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Proceedings of the Coordination Models and Languages, 2024
Proceedings of the Active Object Languages: Current Research Trends, 2024
2023
Swarm Intell., June, 2023
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, 2023
A Mobile App Supporting Field Trip Organization for Natural and Cultural Heritage Exploration.
Proceedings of the Adjunct Proceedings of the 31st ACM Conference on User Modeling, 2023
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.
Proceedings of the Coordination Models and Languages, 2023
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
Aggregate Programming for Customized Building Management and Users Preference Implementation.
Proceedings of the IoT Edge Solutions for Cognitive Buildings, 2023
2022
Aggregate processes as distributed adaptive services for the Industrial Internet of Things.
Pervasive Mob. Comput., 2022
J. Syst. Softw., 2022
Proceedings of the UMAP '22: 30th ACM Conference on User Modeling, Adaptation and Personalization, Barcelona, Spain, July 4, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022
Proceedings of the IEEE Intl. Conf. on Dependable, 2022
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022
2021
Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021
Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
2019
Proceedings of the Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2017
GeCoLan: A Constraint Language for Reasoning About Ecological Networks in the Semantic Web.
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2017
2016
Auton. Agents Multi Agent Syst., 2016
2015
Proceedings of the Research and Development in Intelligent Systems XXXII, 2015
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
2014
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions.
AI Commun., 2014
2013
J. Intell. Robotic Syst., 2013
Comput. Geosci., 2013
AI Commun., 2013
Proceedings of the Research and Development in Intelligent Systems XXX, 2013
Proceedings of the First International Workshop on Intelligent User Interfaces: Artificial Intelligence meets Human Computer Interaction (AI*HCI 2013) A workshop of the XIII International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013
2012
Mixed-initiative Scheduling of Tasks in user Collaboration.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012
Proceedings of the Web Information Systems and Technologies - 8th International Conference, 2012
2011
Proceedings of the Research and Development in Intelligent Systems XXVIII, 2011
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011
2010
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model.
Proceedings of the Research and Development in Intelligent Systems XXVII, 2010
2009
AI Commun., 2009
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009
2008
Proceedings of the ECAI 2008, 2008
Proceedings of the ECAI 2008, 2008
2007
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems.
AI Commun., 2007
AI Commun., 2007
Proceedings of the Abstraction, 2007
2006
On the use of OBDDs in model-based diagnosis: An approach based on the partition of the model.
Knowl. Based Syst., 2006
Intelligent Supervision of Plan Execution in Multi-Agent Systems.
Int. Trans. Syst. Sci. Appl., 2006
On-line monitoring and diagnosis of a team of service robots: A model-based approach.
AI Commun., 2006
Proceedings of the Reasoning, 2006
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2006
2005
Comput. Intell., 2005
Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005
2004
On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2003
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003
Proceedings of the IJCAI-03, 2003