Mauro Gaspari

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 9

Top Topics

Training Sessions

Ontological Engineering

Multiple Sclerosis

Reinforcement Learning

Top Venues

DAMDID/RCDL (Supplementary Proceedings)

Publications

Mauro Gaspari, Federica Pinardi, Dario Signorello, Franca Stablum, Sara Zuppiroli
Automatic planning in cognitive training: application to multiple sclerosis. Hum. Comput. Interact. 39 (1-2) (2024)
Floriano Zini, Fabio Le Piane, Mauro Gaspari
Adaptive Cognitive Training with Reinforcement Learning. ACM Trans. Interact. Intell. Syst. 12 (1) (2022)
Livio Fenga, Mauro Gaspari
Predictive Capacity of COVID-19 Test Positivity Rate. Sensors 21 (7) (2021)
Mattia Vicari, Mauro Gaspari
Analysis of news sentiments using natural language processing and deep learning. AI Soc. 36 (3) (2021)
Fabio Le Piane, Matteo Baldoni, Mauro Gaspari, Francesco Mercuri
Molecular and Materials Basic Ontology: Development and First Steps. DAMDID/RCDL (Supplementary Proceedings) (2021)
Mauro Gaspari, Margherita Donnici
Weekend in Rome: a cognitive training exercise based on planning. SAT@SMC (2019)
Daniele Baschieri, Mauro Gaspari, Floriano Zini
A Planning-Based Serious Game for Cognitive Rehabilitation in Multiple Sclerosis. GOODTECHS (2018)
Mauro Gaspari, Floriano Zini, Debora Castellano, Federica Pinardi, Sergio Stecchi
An advanced system to support cognitive rehabilitation in multiple sclerosis. RTSI (2017)
Floriano Zini, Elena Maria Bressan, Mauro Gaspari
A formative user-based usability study for an advanced cognitive rehabilitation system. CHItaly (2017)
Nicola Dragoni, Mauro Gaspari
Declarative Specification of Fault Tolerant Auction Protocols: the English Auction Case Study. Comput. Intell. 28 (4) (2012)
Luca Barzanti, Mauro Gaspari, Davide Saletti
Modelling decision making in fund raising management by a fuzzy knowledge system. Expert Syst. Appl. 36 (5) (2009)
Mauro Gaspari, Davide Saletti, Cinzia Scandellari, Sergio Stecchi
Refining an Automatic EDSS Scoring Expert System for Routine Clinical Use in Multiple Sclerosis. IEEE Trans. Inf. Technol. Biomed. 13 (4) (2009)
Mauro Gaspari, Davide Guidi
Facilitating Agent Development in Open Distributed Systems. LADS (2007)
Nicola Dragoni, Mauro Gaspari, Davide Guidi
An ACL for Specifying Fault-Tolerant Protocols. Appl. Artif. Intell. 21 (4&5) (2007)
Luca Barzanti, Nicola Dragoni, Andrea Degli Esposti, Mauro Gaspari
Decision Making in Fund Raising Management: a Knowledge Based Approach. SGAI Conf. (Applications) (2007)
Nicola Dragoni, Mauro Gaspari
Crash failure detection in asynchronous agent communication languages. Auton. Agents Multi Agent Syst. 13 (3) (2006)
Nicola Dragoni, Mauro Gaspari, Davide Guidi
A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction. AC (2006)
Nicola Dragoni, Mauro Gaspari
Performative Patterns for Designing Verifiable ACLs. CIA (2006)
Nicola Dragoni, Mauro Gaspari, Davide Guidi
An infrastructure to support cooperation of knowledge-level agents on the semantic Grid. Appl. Intell. 25 (2) (2006)
Nicola Dragoni, Mauro Gaspari, Davide Guidi
An ACL for Specifying Fault-Tolerant Protocols. AI*IA (2005)
Nicola Dragoni, Mauro Gaspari
An object based algebra for specifying a fault tolerant software architecture. J. Log. Algebraic Methods Program. 63 (2) (2005)
Nicola Dragoni, Mauro Gaspari, Davide Guidi
A Peer-to-Peer Knowledge Level Open Service Architecture. Wissensmanagement (2005)
Nicola Dragoni, Mauro Gaspari, Davide Guidi
NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web. SWAP (2005)
Nicola Dragoni, Mauro Gaspari, Davide Guidi
Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture. FLAIRS Conference (2005)
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
The Unified Problem-Solving Method Development Language UPML. Knowl. Inf. Syst. 5 (1) (2003)
Enrico Motta, John Domingue, Liliana Cabral, Mauro Gaspari
IRS-II: A Framework and Infrastructure for Semantic Web Services. ISWC (2003)
Mauro Gaspari
An ACL for a Dynamic System of Agents. Comput. Intell. 18 (2) (2002)
Mauro Gaspari, Gianluigi Roveda, Cinzia Scandellari, Sergio Stecchi
An expert system for the evaluation of EDSS in multiple sclerosis. Artif. Intell. Medicine 25 (2) (2002)
Mauro Gaspari, Gianluigi Zavattaro
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. Concurrent Object-Oriented Programming and Petri Nets (2001)
Paolo Ciancarini, Daniela Fogli, Mauro Gaspari
A declarative coordination language. Comput. Lang. 26 (2-4) (2000)
Mauro Gaspari, Gianluigi Zavattaro
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. ECOOP (1999)
Mauro Gaspari, Enrico Motta, Dieter Fensel
Automatic Selection of Problem Solving Libraries Based on Competence Matching. ECOOP Workshops (1999)
Mauro Gaspari, Gianluigi Zavattaro
An Algebra of Actors. FMOODS (1999)
Mauro Gaspari
Concurrency and Knowledge-Level Communication in Agent Languages. Artif. Intell. 105 (1-2) (1998)
Mauro Gaspari
Efficient Support for Reactive Rules in Prolog. AI*IA (1997)
Paolo Ciancarini, Daniela Fogli, Mauro Gaspari
A Logic Language based on GAMMA-like Multiset Rewriting. ELP (1996)
Giuseppe Attardi, Mauro Gaspari
Multilanguage Interoperability. Comput. Artif. Intell. 15 (6) (1996)
Paolo Ciancarini, Mauro Gaspari
Rule-Based Coordination of Logic Programs. Comput. Lang. 22 (2/3) (1996)
Mauro Gaspari, Enrico Motta, Arthur Stutt
An Open Framework for Cooperative Problem Solving. IEEE Expert 10 (3) (1995)
Mauro Gaspari
Modelling Interactions in Agent System. AI*IA (1995)
Paolo Ciancarini, Daniela Fogli, Mauro Gaspari
A Logic Language Based on GAMMA-Like Multiset Rewriting. GULP-PRODE (1995)
Mauro Gaspari, Enrico Motta
Symbol-Level Requirements for Agent-Level Programming. ECAI (1994)
Paolo Ciancarini, Mauro Gaspari
Parallel Symbolic Computing with the Shared Dataspace Coordination Model. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Mauro Gaspari, Laura Semini
Fairness in Logic Languages based on Shared Dataspace. ICLP Workshop on Blackboard-Based Logic Programming (1993)
Mauro Gaspari
Guard Compilation in Logic Shared Dataspace Languages. ICLP Workshop on Blackboard-Based Logic Programming (1993)
Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. GULP (1993)
Mauro Gaspari, Enrico Motta, Arthur Stutt
Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules. AI*IA (1993)
Giuseppe Attardi, Mauro Gaspari
Multilanguage Interoperability. PLILP (1991)
Giuseppe Attardi, Mauro Gaspari, Pietro Iglio
Effiecient Compilation of First Order Predicates. AI*IA (1991)
Giuseppe Attardi, Mauro Gaspari, F. Saracco
Interoperability of AI Languages. ECAI (1990)
Giuseppe Attardi, Cinzia Bonini, Maria Rosario Boscotrecase, Tito Flagella, Mauro Gaspari
Metalevel Programming in CLOS. ECOOP (1989)