| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luca Barzanti, Mauro Gaspari, Davide Saletti |
Modelling decision making in fund raising management by a fuzzy knowledge system.  |
Expert Syst. Appl.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari, Davide Saletti, Cinzia Scandellari, Sergio Stecchi |
Refining an Automatic EDSS Scoring Expert System for Routine Clinical Use in Multiple Sclerosis. |
IEEE Transactions on Information Technology in Biomedicine |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Dragoni, Mauro Gaspari, Davide Guidi |
An ACL for Specifying Fault-Tolerant Protocols. |
Applied Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari, Davide Guidi |
Facilitating Agent Development in Open Distributed Systems. |
LADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Dragoni, Mauro Gaspari, Davide Guidi |
An infrastructure to support cooperation of knowledge-level agents on the semantic Grid. |
Appl. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Knowledge-level agents, Open service architectures, Agent communication languages, Semantic GRID |
| 1 | Nicola Dragoni, Mauro Gaspari |
Crash failure detection in asynchronous agent communication languages. |
Autonomous Agents and Multi-Agent Systems |
2006 |
DBLP DOI BibTeX RDF |
Robust multi-agent systems, Open asynchronous multi-agent systems, Anonymous interaction, Knowledge level agents, Multi-agent systems, Agent communication languages |
| 1 | Nicola Dragoni, Mauro Gaspari, Davide Guidi |
A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction. |
AC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Dragoni, Mauro Gaspari |
Performative Patterns for Designing Verifiable ACLs. |
CIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Dragoni, Mauro Gaspari |
An object based algebra for specifying a fault tolerant software architecture. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Dragoni, Mauro Gaspari, Davide Guidi |
A Peer-to-Peer Knowledge Level Open Service Architecture. |
Wissensmanagement |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicola Dragoni, Mauro Gaspari, Davide Guidi |
An ACL for Specifying Fault-Tolerant Protocols. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Dragoni, Mauro Gaspari, Davide Guidi |
Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture. |
FLAIRS Conference |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicola Dragoni, Mauro Gaspari, Davide Guidi |
NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web. |
SWAP |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
Semantic Web, Knowledge Engineering, Problem-solving methods |
| 1 | Enrico Motta, John Domingue, Liliana Cabral, Mauro Gaspari |
IRS-II: A Framework and Infrastructure for Semantic Web Services. |
International Semantic Web Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari, Gianluigi Roveda, Cinzia Scandellari, Sergio Stecchi |
An expert system for the evaluation of EDSS in multiple sclerosis. |
Artificial Intelligence in Medicine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari |
An ACL for a Dynamic System of Agents. |
Computational Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari, Gianluigi Zavattaro |
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A declarative coordination language. |
Comput. Lang. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari, Gianluigi Zavattaro |
An Algebra of Actors. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mauro Gaspari, Enrico Motta, Dieter Fensel |
Automatic Selection of Problem Solving Libraries Based on Competence Matching. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mauro Gaspari, Gianluigi Zavattaro |
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari |
Concurrency and Knowledge-Level Communication in Agent Languages. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari |
Efficient Support for Reactive Rules in Prolog. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Attardi, Mauro Gaspari |
Multilanguage Interoperability. |
Computers and Artificial Intelligence |
1996 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Mauro Gaspari |
Rule-Based Coordination of Logic Programs. |
Comput. Lang. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A Logic Language based on GAMMA-like Multiset Rewriting. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari, Enrico Motta, Arthur Stutt |
An Open Framework for Cooperative Problem Solving. (PDF / PS) |
IEEE Expert |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A Logic Language Based on GAMMA-Like Multiset Rewriting. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mauro Gaspari |
Modelling Interactions in Agent System. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Gaspari, Enrico Motta |
Symbol-Level Requirements for Agent-Level Programming. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Mauro Gaspari |
Parallel Symbolic Computing with the Shared Dataspace Coordination Model. |
ICLP Workshop: Process-Based Parallel Logic Programming |
1994 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi |
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. |
GULP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mauro Gaspari, Enrico Motta, Arthur Stutt |
Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Attardi, Mauro Gaspari, Pietro Iglio |
Effiecient Compilation of First Order Predicates. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Attardi, Mauro Gaspari |
Multilanguage Interoperability. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Attardi, Mauro Gaspari, F. Saracco |
Interoperability of AI Languages. |
ECAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Attardi, Cinzia Bonini, Maria Rosario Boscotrecase, Tito Flagella, Mauro Gaspari |
Metalevel Programming in CLOS. |
ECOOP |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")