Mauro Gaspari
Mauro Gaspari
Dipartimento di Informatica (DISI), University of Bologna
Verified email at cs.unibo.it
Title
Cited by
Cited by
Year
IRS–II: A framework and infrastructure for semantic web services
E Motta, J Domingue, L Cabral, M Gaspari
International Semantic Web Conference, 306-318, 2003
2842003
The Unified Problem-solving Method Development Language UPML
D Fensel, E Motta, VR Benjamins, M Crubezy, S Decker, M Gaspari, ...
Knowledge and Information Systems (KAIS): An International Journal 5 (1), 2003
2312003
Specifications of knowledge components for reuse
E Motta, D Fensel, M Gaspari, R Benjamins
Proceedings of SEKE’99, 1999
601999
An expert system for the evaluation of EDSS in multiple sclerosis
M Gaspari, G Roveda, C Scandellari, S Stecchi
Artificial intelligence in medicine 25 (2), 187-210, 2002
482002
Metalevel Programming in CLOS.
G Attardi, C Bonini, MR Boscotrecase, T Flagella, M Gaspari
ECOOP 89, 243-256, 1989
441989
Concurrency and knowledge-level communication in agent languages
M Gaspari
Artificial Intelligence 105 (1-2), 1-45, 1998
431998
The component model of UPML in a nutshell
D Fensel, VR Benjamins, S Decker, M Gaspari, R Groenboom, W Grosso, ...
WWW Proceedings of the 1st Working IFIP Conference on Software Architecturesá…, 1999
411999
A Process Algebraic Specication of the New Asynchronous CORBA Messaging Service
M Gaspari, G Zavattaro
European Conference on Object-Oriented Programming, 495-518, 1999
381999
An algebra of actors
M Gaspari, G Zavattaro
International Conference on Formal Methods for Open Object-Based Distributedá…, 1999
381999
Symbol-level requirements for agent-level programming
M Gaspari, E Motta, MGE Motta
ECAI94 the 11th European Conference on Artificial Intelligence, 1994
291994
Crash failure detection in asynchronous agent communication languages
N Dragoni, M Gaspari
Autonomous Agents and Multi-Agent Systems 13 (3), 355-390, 2006
28*2006
An actor algebra for specifying distributed systems: the hurried philosophers case study
M Gaspari, G Zavattaro
Concurrent Object-Oriented Programming and Petri Nets, 428-444, 2001
252001
Gammal÷g: a coordination language based on GAMMA and G÷del
P Ciancarini, D Fogli, M Gaspari
Coordination Programming: Mechanisms, Models And Semantics, 323-348, 1996
21*1996
An infrastructure to support cooperation of knowledge-level agents on the semantic grid
N Dragoni, M Gaspari, D Guidi
Applied Intelligence 25 (2), 159-180, 2006
202006
Modelling interaction in agent system
M Gaspari
Congress of the Italian Association for Artificial Intelligence, 426-438, 1995
18*1995
An object based algebra for specifying a fault tolerant software architecture
N Dragoni, M Gaspari
The Journal of Logic and Algebraic Programming 63 (2), 271-297, 2005
172005
Refining an automatic EDSS scoring expert system for routine clinical use in multiple sclerosis
M Gaspari, D Saletti, C Scandellari, S Stecchi
IEEE Transactions on Information Technology in Biomedicine 13 (4), 501-511, 2008
162008
An ACL for specifying fault-tolerant protocols
N Dragoni, M Gaspari, D Guidi
Applied Artificial Intelligence 21 (4-5), 361-381, 2007
162007
Modelling decision making in fund raising management by a fuzzy knowledge system
L Barzanti, M Gaspari, D Saletti
Expert Systems with Applications 36 (5), 9466-9478, 2009
142009
An open framework for cooperative problem solving
M Gaspari, E Motta, A Stutt
IEEE Expert 10 (3), 48-55, 1995
121995
The system can't perform the operation now. Try again later.
Articles 1–20