Mauro Gaspari

According to our database, Mauro Gaspari authored at least 48 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatic planning in cognitive training: application to multiple sclerosis.

Mauro Gaspari, Federica Pinardi, Dario Signorello, Franca Stablum, Sara Zuppiroli

Hum. Comput. Interact., March, 2024

2022

Adaptive Cognitive Training with Reinforcement Learning.

Floriano Zini, Fabio Le Piane, Mauro Gaspari

ACM Trans. Interact. Intell. Syst., 2022

2021

Predictive Capacity of COVID-19 Test Positivity Rate.

Livio Fenga, Mauro Gaspari

Sensors, 2021

Analysis of news sentiments using natural language processing and deep learning.

Mattia Vicari, Mauro Gaspari

AI Soc., 2021

Molecular and Materials Basic Ontology: Development and First Steps.

Fabio Le Piane, Matteo Baldoni, Mauro Gaspari, Francesco Mercuri

Proceedings of the Supplementary Proceedings of the XXIII International Conference on Data Analytics and Management in Data Intensive Domains, 2021

2019

Weekend in Rome: a cognitive training exercise based on planning.

Mauro Gaspari, Margherita Donnici

Proceedings of the Workshop Socio-Affective Technologies: an interdisciplinary approach co-located with IEEE SMC 2019 (Systems, 2019

2018

A Planning-Based Serious Game for Cognitive Rehabilitation in Multiple Sclerosis.

Daniele Baschieri, Mauro Gaspari, Floriano Zini

Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

2017

An advanced system to support cognitive rehabilitation in multiple sclerosis.

Mauro Gaspari, Floriano Zini, Debora Castellano, Federica Pinardi, Sergio Stecchi

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.

Floriano Zini, Elena Maria Bressan, Mauro Gaspari

Proceedings of the 12th Biannual Conference on Italian SIGCHI Chapter, 2017

2012

Declarative Specification of Fault Tolerant Auction Protocols: the English Auction Case Study.

Nicola Dragoni, Mauro Gaspari

Comput. Intell., 2012

2009

Refining an Automatic EDSS Scoring Expert System for Routine Clinical Use in Multiple Sclerosis.

Mauro Gaspari, Davide Saletti, Cinzia Scandellari, Sergio Stecchi

IEEE Trans. Inf. Technol. Biomed., 2009

Modelling decision making in fund raising management by a fuzzy knowledge system.

Luca Barzanti, Mauro Gaspari, Davide Saletti

Expert Syst. Appl., 2009

2007

Decision Making in Fund Raising Management: a Knowledge Based Approach.

Luca Barzanti, Nicola Dragoni, Andrea Degli Esposti, Mauro Gaspari

Proceedings of the Applications and Innovations in Intelligent Systems XV, 2007

Facilitating Agent Development in Open Distributed Systems.

Mauro Gaspari, Davide Guidi

Proceedings of the Languages, 2007

2006

An infrastructure to support cooperation of knowledge-level agents on the semantic Grid.

Nicola Dragoni, Mauro Gaspari, Davide Guidi

Appl. Intell., 2006

Crash failure detection in asynchronous agent communication languages.

Nicola Dragoni, Mauro Gaspari

Auton. Agents Multi Agent Syst., 2006

Performative Patterns for Designing Verifiable ACLs.

Nicola Dragoni, Mauro Gaspari

Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction.

Nicola Dragoni, Mauro Gaspari, Davide Guidi

Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005

An object based algebra for specifying a fault tolerant software architecture.

Nicola Dragoni, Mauro Gaspari

J. Log. Algebraic Methods Program., 2005

A Peer-to-Peer Knowledge Level Open Service Architecture.

Nicola Dragoni, Mauro Gaspari, Davide Guidi

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.

Nicola Dragoni, Mauro Gaspari, Davide Guidi

Proceedings of the SWAP 2005, 2005

Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture.

Nicola Dragoni, Mauro Gaspari, Davide Guidi

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

An ACL for Specifying Fault-Tolerant Protocols.

Nicola Dragoni, Mauro Gaspari, Davide Guidi

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2003

The Unified Problem-Solving Method Development Language UPML.

Dieter Fensel, Enrico Motta, Frank van Harmelen, V. Richard Benjamins, Monica Crubézy, Stefan Decker, Mauro Gaspari, Rix Groenboom, William E. Grosso, Mark A. Musen, Enric Plaza, Guus Schreiber, Rudi Studer, Bob J. Wielinga

Knowl. Inf. Syst., 2003

IRS-II: A Framework and Infrastructure for Semantic Web Services.

Enrico Motta, John Domingue, Liliana Cabral, Mauro Gaspari

Proceedings of the Semantic Web, 2003

2002

An ACL for a Dynamic System of Agents.

Mauro Gaspari

Comput. Intell., 2002

An expert system for the evaluation of EDSS in multiple sclerosis.

Mauro Gaspari, Gianluigi Roveda, Cinzia Scandellari, Sergio Stecchi

Artif. Intell. Medicine, 2002

2001

An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.

Mauro Gaspari, Gianluigi Zavattaro

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000

A declarative coordination language.

Paolo Ciancarini, Daniela Fogli, Mauro Gaspari

Comput. Lang., 2000

1999

An Algebra of Actors.

Mauro Gaspari, Gianluigi Zavattaro

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Automatic Selection of Problem Solving Libraries Based on Competence Matching.

Mauro Gaspari, Enrico Motta, Dieter Fensel

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service.

Mauro Gaspari, Gianluigi Zavattaro

Proceedings of the ECOOP'99, 1999

1998

Concurrency and Knowledge-Level Communication in Agent Languages.

Mauro Gaspari

Artif. Intell., 1998

1997

Efficient Support for Reactive Rules in Prolog.

Mauro Gaspari

Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

1996

Rule-Based Coordination of Logic Programs.

Paolo Ciancarini, Mauro Gaspari

Comput. Lang., 1996

A Logic Language based on GAMMA-like Multiset Rewriting.

Paolo Ciancarini, Daniela Fogli, Mauro Gaspari

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995

An Open Framework for Cooperative Problem Solving.

Mauro Gaspari, Enrico Motta, Arthur Stutt

IEEE Expert, 1995

Modelling Interactions in Agent System.

Mauro Gaspari

Proceedings of the Topics in Artificial Intelligence, 1995

1994

Parallel Symbolic Computing with the Shared Dataspace Coordination Model.

Paolo Ciancarini, Mauro Gaspari

Proceedings of the ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, 1994

Symbol-Level Requirements for Agent-Level Programming.

Mauro Gaspari, Enrico Motta

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Fairness in Logic Languages based on Shared Dataspace.

Mauro Gaspari, Laura Semini

Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993

Guard Compilation in Logic Shared Dataspace Languages.

Mauro Gaspari

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.

Mauro Gaspari, Enrico Motta, Arthur Stutt

Proceedings of the Advances in Artificial Intelligence, 1993

La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.

Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1991

Multilanguage Interoperability.

Giuseppe Attardi, Mauro Gaspari

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Effiecient Compilation of First Order Predicates.

Giuseppe Attardi, Mauro Gaspari, Pietro Iglio

Proceedings of the Trends in Artificial Intelligence, 1991

1990

Interoperability of AI Languages.

Giuseppe Attardi, Mauro Gaspari, F. Saracco

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

Metalevel Programming in CLOS.

Giuseppe Attardi, Cinzia Bonini, Maria Rosario Boscotrecase, Tito Flagella, Mauro Gaspari

Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989