default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMauro Gaspari
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j19]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): 79-95 (2024)- 2022
- [j18]Floriano Zini, Fabio Le Piane, Mauro Gaspari:
Adaptive Cognitive Training with Reinforcement Learning. ACM Trans. Interact. Intell. Syst. 12(1): 3:1-3:29 (2022) - 2021
- [j17]Mattia Vicari, Mauro Gaspari:
Analysis of news sentiments using natural language processing and deep learning. AI Soc. 36(3): 931-937 (2021) - [j16]Livio Fenga, Mauro Gaspari:
Predictive Capacity of COVID-19 Test Positivity Rate. Sensors 21(7): 2435 (2021) - [c32]Fabio Le Piane, Matteo Baldoni, Mauro Gaspari, Francesco Mercuri:
Molecular and Materials Basic Ontology: Development and First Steps. DAMDID/RCDL (Supplementary Proceedings) 2021: 240-249
2010 – 2019
- 2019
- [c31]Mauro Gaspari, Margherita Donnici:
Weekend in Rome: a cognitive training exercise based on planning. SAT@SMC 2019: 37-41 - 2018
- [c30]Daniele Baschieri, Mauro Gaspari, Floriano Zini:
A Planning-Based Serious Game for Cognitive Rehabilitation in Multiple Sclerosis. GOODTECHS 2018: 214-219 - 2017
- [c29]Floriano Zini, Elena Maria Bressan, Mauro Gaspari:
A formative user-based usability study for an advanced cognitive rehabilitation system. CHItaly 2017: 13:1-13:10 - [c28]Mauro Gaspari, Floriano Zini, Debora Castellano, Federica Pinardi, Sergio Stecchi:
An advanced system to support cognitive rehabilitation in multiple sclerosis. RTSI 2017: 1-6 - 2012
- [j15]Nicola Dragoni, Mauro Gaspari:
Declarative Specification of Fault Tolerant Auction Protocols: the English Auction Case Study. Comput. Intell. 28(4): 617-641 (2012)
2000 – 2009
- 2009
- [j14]Luca Barzanti, Mauro Gaspari, Davide Saletti:
Modelling decision making in fund raising management by a fuzzy knowledge system. Expert Syst. Appl. 36(5): 9466-9478 (2009) - [j13]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): 501-511 (2009) - 2007
- [j12]Nicola Dragoni, Mauro Gaspari, Davide Guidi:
An ACL for Specifying Fault-Tolerant Protocols. Appl. Artif. Intell. 21(4&5): 361-381 (2007) - [c27]Mauro Gaspari, Davide Guidi:
Facilitating Agent Development in Open Distributed Systems. LADS 2007: 243-260 - [c26]Luca Barzanti, Nicola Dragoni, Andrea Degli Esposti, Mauro Gaspari:
Decision Making in Fund Raising Management: a Knowledge Based Approach. SGAI Conf. (Applications) 2007: 189-201 - 2006
- [j11]Nicola Dragoni, Mauro Gaspari:
Crash failure detection in asynchronous agent communication languages. Auton. Agents Multi Agent Syst. 13(3): 355-390 (2006) - [j10]Nicola Dragoni, Mauro Gaspari, Davide Guidi:
An infrastructure to support cooperation of knowledge-level agents on the semantic Grid. Appl. Intell. 25(2): 159-180 (2006) - [c25]Nicola Dragoni, Mauro Gaspari, Davide Guidi:
A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction. AC 2006: 273-288 - [c24]Nicola Dragoni, Mauro Gaspari:
Performative Patterns for Designing Verifiable ACLs. CIA 2006: 375-387 - 2005
- [j9]Nicola Dragoni, Mauro Gaspari:
An object based algebra for specifying a fault tolerant software architecture. J. Log. Algebraic Methods Program. 63(2): 271-297 (2005) - [c23]Nicola Dragoni, Mauro Gaspari, Davide Guidi:
An ACL for Specifying Fault-Tolerant Protocols. AI*IA 2005: 237-248 - [c22]Nicola Dragoni, Mauro Gaspari, Davide Guidi:
Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture. FLAIRS 2005: 320-325 - [c21]Nicola Dragoni, Mauro Gaspari, Davide Guidi:
NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web. SWAP 2005 - [c20]Nicola Dragoni, Mauro Gaspari, Davide Guidi:
A Peer-to-Peer Knowledge Level Open Service Architecture. Wissensmanagement 2005: 195-201 - 2003
- [j8]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): 83-131 (2003) - [c19]Enrico Motta, John Domingue, Liliana Cabral, Mauro Gaspari:
IRS-II: A Framework and Infrastructure for Semantic Web Services. ISWC 2003: 306-318 - 2002
- [j7]Mauro Gaspari, Gianluigi Roveda, Cinzia Scandellari, Sergio Stecchi:
An expert system for the evaluation of EDSS in multiple sclerosis. Artif. Intell. Medicine 25(2): 187-210 (2002) - [j6]Mauro Gaspari:
An ACL for a Dynamic System of Agents. Comput. Intell. 18(2): 102-119 (2002) - 2001
- [c18]Mauro Gaspari, Gianluigi Zavattaro:
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. Concurrent Object-Oriented Programming and Petri Nets 2001: 428-444 - 2000
- [j5]Paolo Ciancarini, Daniela Fogli, Mauro Gaspari:
A declarative coordination language. Comput. Lang. 26(2-4): 125-163 (2000)
1990 – 1999
- 1999
- [c17]Mauro Gaspari, Gianluigi Zavattaro:
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. ECOOP 1999: 495-518 - [c16]Mauro Gaspari, Enrico Motta, Dieter Fensel:
Automatic Selection of Problem Solving Libraries Based on Competence Matching. ECOOP Workshops 1999: 10-11 - [c15]Mauro Gaspari, Gianluigi Zavattaro:
An Algebra of Actors. FMOODS 1999 - 1998
- [j4]Mauro Gaspari:
Concurrency and Knowledge-Level Communication in Agent Languages. Artif. Intell. 105(1-2): 1-45 (1998) - 1997
- [c14]Mauro Gaspari:
Efficient Support for Reactive Rules in Prolog. AI*IA 1997: 357-368 - 1996
- [j3]Giuseppe Attardi, Mauro Gaspari:
Multilanguage Interoperability. Comput. Artif. Intell. 15(6): 531-554 (1996) - [j2]Paolo Ciancarini, Mauro Gaspari:
Rule-Based Coordination of Logic Programs. Comput. Lang. 22(2/3): 95-113 (1996) - [c13]Paolo Ciancarini, Daniela Fogli, Mauro Gaspari:
A Logic Language based on GAMMA-like Multiset Rewriting. ELP 1996: 83-101 - 1995
- [j1]Mauro Gaspari, Enrico Motta, Arthur Stutt:
An Open Framework for Cooperative Problem Solving. IEEE Expert 10(3): 48-55 (1995) - [c12]Paolo Ciancarini, Daniela Fogli, Mauro Gaspari:
A Logic Language Based on GAMMA-Like Multiset Rewriting. GULP-PRODE 1995: 125-138 - [c11]Mauro Gaspari:
Modelling Interactions in Agent System. AI*IA 1995: 426-438 - 1994
- [c10]Mauro Gaspari, Enrico Motta:
Symbol-Level Requirements for Agent-Level Programming. ECAI 1994: 264-268 - [c9]Paolo Ciancarini, Mauro Gaspari:
Parallel Symbolic Computing with the Shared Dataspace Coordination Model. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 11-37 - 1993
- [c8]Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi:
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. GULP 1993: 341-358 - [c7]Mauro Gaspari, Enrico Motta, Arthur Stutt:
Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules. AI*IA 1993: 142-153 - [c6]Mauro Gaspari:
Guard Compilation in Logic Shared Dataspace Languages. ICLP Workshop on Blackboard-Based Logic Programming 1993 - [c5]Mauro Gaspari, Laura Semini:
Fairness in Logic Languages based on Shared Dataspace. ICLP Workshop on Blackboard-Based Logic Programming 1993 - 1991
- [c4]Giuseppe Attardi, Mauro Gaspari, Pietro Iglio:
Effiecient Compilation of First Order Predicates. AI*IA 1991: 440-444 - [c3]Giuseppe Attardi, Mauro Gaspari:
Multilanguage Interoperability. PLILP 1991: 429-430 - 1990
- [c2]Giuseppe Attardi, Mauro Gaspari, F. Saracco:
Interoperability of AI Languages. ECAI 1990: 41-46
1980 – 1989
- 1989
- [c1]Giuseppe Attardi, Cinzia Bonini, Maria Rosario Boscotrecase, Tito Flagella, Mauro Gaspari:
Metalevel Programming in CLOS. ECOOP 1989: 243-256
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
