Mauro Gaspari

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