Mauro Gaspari's Biography
Mauro Gaspari is associate professor at the Computer Science Department
of the University of Bologna.
He received a Laurea degree in Computer Science at the University
of Pisa in 1986.
Successively he was in the Giuseppe Attardi research team
at Delphi SpA where he participated in the development of
DELPHI Common Lisp featuring multithreads in the context of
one of the first implementations of the CLOS Meta Object Protocol, and
a WAM based support for unification.
In 1990 he was at the Department of Computer Science of the University
of Pisa.
In 1992 he was at the Human Cognition Research Laboratory of The Open
University (UK) participating in the VITAL ESPRIT II project and
developing the VITAL-KR language.
Since 1993 he is associated at the Department of Computer Science of the
University of Bologna, where he developed one of the
first operational and concurrent specifications of a speech act based
ACL (a subset of KQML) presenting symbol-level requirements for agent-level
programming.
Successively he developed an Algebra of Actors as a basic
model for concurrency and communication in ACL.
In 1998 he was visiting the Knowledge Media Institute at
The Open University (UK) participating in the IST funded research
project IBROW3 and to the development of UPML which influenced the
modelling of web services in the semantic web effort.
Since 1999 Mauro Gaspari is the coordinator of the AEDSS Project
which aims to develop of an expert system for the evaluation
of EDSS in multiple sclerosis.
In 2002 he was visiting the Knowledge Media Institute at
The Open University (UK) where he designed and developed the
communication infrastructure of the IRS II (Internet Reasoning Service).
In 2005 he started an applied AI laboratory at the Department of
Computer Science of the University of Bologna.
Currently his main research activity aims to integrate knowledge-level
agents and semantic Web services in the semantic Web.
Mauro Gaspari is the author of more than 50 papers in international
journals and conference proceedings. His research interests include
declarative programming languages, agent communication languages,
concurrent and distributed programming,
environment for artificial intelligence, applications of artificial
intelligence in medicine. He is a member of ACM and AAAI.
Representative Papers
- G. Attardi, C. Bonini, M.R. Boscotrecase, T. Flagella, M. Gaspari.
Metalevel Programming in CLOS
In Proceedings of ECOOP 89 European Conference on Object Oriented
Programming, Nottingham, 10-14 July 1989, Cambridge University Press 1989.
- G. Attardi, M. Gaspari, F. Saracco. Interoperability of IA languages
In Proceedings of ECAI 90 - European Conference on Artificial Intelligence,
Stockholm, 6-8 August 1990, Pitman Publishing 1990.
- M. Gaspari, E. Motta. Symbol-Level Requirements for Agent-Level
Programming
In Proceedings of ECAI 94 - European Conference on Artificial
Intelligence, The Netherlands, August 8-12, 1994. John Wiley and Sons, 1994.
- M. Gaspari, E. Motta, A. Stutt. An Open Framework for Cooperative Problem Solving
IEEE Expert 22:48-55, 1995.
- P. Ciancarini, M. Gaspari
Rule Based Coordination of Logic Programs
Computer Languages October 1996]
- M. Gaspari. Concurrency and Knowledge Level Communication in
Agent Languages
Artificial Intelligence 105(1-2):1-45, 1998.
- M. Gaspari, G. Zavattaro. A Process Algebraic Specification of the
New Asynchronous CORBA Messaging Service
In Proceedings of ECOOP 99
European Conference on Object Oriented Programming. Lisbon, Portugal,
14-18 June 1999.
- P. Ciancarini, D. Fogli, M. Gaspari. A Declarative Coordination
Language
Computer Languages 26(2-4):125-163, 2000.
- M. Gaspari, G. Roveda, C. Scandellari, S. Stecchi.
An Expert System for the Evaluation of EDSS in Multiple Sclerosis
Artificial Intelligence in Medicine 25(2):187-210, 2002
- M. Gaspari. An ACL for a Dynamic System of Agents
Computational Intelligence 18(2):102-119 May 2002
- D. Fensel, E. Motta, F. van Harmelen, V. R. Benjamins,
S. Decker, M. Gaspari, R. Groenboom, W. Grosso, M.Musen, E. Plaza,
G. Schreiber, R. Studer and B. Wielinga.
The Unified Problem-solving Method Development Language UPML
Knowledge and Information Systems 5(1) 2003.
- E. Motta, J. Domingue, L. Cabral, and M. Gaspari.
IRS-II: A Framework and Infrastructure for Semantic Web Services.
International Semantic Web Conference, Sundial Resort, Sanibel Island,
Florida, USA. Lecture Notes in Computer Science, (LNCS 2870),
Springer-Verlag, October 2003.
- N. Dragoni, M. Gaspari.
An Object Based Algebra for Specifying a Fault Tolerant Software Architecture
Journal of Logic and Algebraic Programming 63:271-297, 2005
- N. Dragoni, M. Gaspari, D. Guidi
An Infrastructure to Support Cooperation of Knowledge-Level Agents on
the Semantic Grid
International Journal of Applied Intelligence
(Special Issue on Agent-based Grid Computing)
- N. Dragoni, M. Gaspari, D. Guidi
An ACL for Specifying Fault-Tolerant Protocols
Applied Artificial Intelligence 21: 1-21, 2007
- M. Gaspari, D. Saletti, C. Scandellari, S. Stecchi
Refining an Automatic EDSS Scoring Expert System for Routine
Clinical Use in Multiple Sclerosis
In IEEE Transactions on Information Technology in
Biomedicine. 13(4):501-11
- L. Barzanti, M. Gaspari, D. Saletti
Modelling decision making in fund raising management by a fuzzy
knowledge system
In Expert Systems With Applications 46(2)