Mauro Gaspari
Orcid: 0000-0002-2845-3904Affiliations:
- University of Bologna, Italy
According to our database1,
Mauro Gaspari
authored at least 48 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.unibo.it
On csauthors.net:
Bibliography
2024
Hum. Comput. Interact., March, 2024
2022
ACM Trans. Interact. Intell. Syst., 2022
2021
AI Soc., 2021
Proceedings of the Supplementary Proceedings of the XXIII International Conference on Data Analytics and Management in Data Intensive Domains, 2021
2019
Proceedings of the Workshop Socio-Affective Technologies: an interdisciplinary approach co-located with IEEE SMC 2019 (Systems, 2019
2018
Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018
2017
Proceedings of the 3rd IEEE International Forum on Research and Technologies for Society and Industry, 2017
A formative user-based usability study for an advanced cognitive rehabilitation system.
Proceedings of the 12th Biannual Conference on Italian SIGCHI Chapter, 2017
2012
Declarative Specification of Fault Tolerant Auction Protocols: the English Auction Case Study.
Comput. Intell., 2012
2009
Refining an Automatic EDSS Scoring Expert System for Routine Clinical Use in Multiple Sclerosis.
IEEE Trans. Inf. Technol. Biomed., 2009
Expert Syst. Appl., 2009
2007
Proceedings of the Applications and Innovations in Intelligent Systems XV, 2007
Proceedings of the Languages, 2007
2006
An infrastructure to support cooperation of knowledge-level agents on the semantic Grid.
Appl. Intell., 2006
Auton. Agents Multi Agent Syst., 2006
Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006
Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006
2005
J. Log. Algebraic Methods Program., 2005
A Peer-to-Peer Knowledge Level Open Service Architecture.
Proceedings of the WM 2005: Professional Knowledge Management - Experiences and Visions, Contributions to the 3rd Conference Professional Knowledge Management, 2005
NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web.
Proceedings of the SWAP 2005, 2005
Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture.
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005
2003
Knowl. Inf. Syst., 2003
Proceedings of the Semantic Web, 2003
2002
Artif. Intell. Medicine, 2002
2001
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001
2000
1999
An Algebra of Actors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Automatic Selection of Problem Solving Libraries Based on Competence Matching.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
Proceedings of the ECOOP'99, 1999
1998
Artif. Intell., 1998
1997
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997
1996
1995
Proceedings of the Topics in Artificial Intelligence, 1995
A Logic Language Based on GAMMA-Like Multiset Rewriting.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Parallel Symbolic Computing with the Shared Dataspace Coordination Model.
Proceedings of the ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, 1994
Symbol-Level Requirements for Agent-Level Programming.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
1993
Fairness in Logic Languages based on Shared Dataspace.
Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993
Guard Compilation in Logic Shared Dataspace Languages.
Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993
Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules.
Proceedings of the Advances in Artificial Intelligence, 1993
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1991
Proceedings of the Trends in Artificial Intelligence, 1991
1990
Interoperability of AI Languages.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990
1989
Metalevel Programming in CLOS.
Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989