Search the dblp DataBase
Mauro Gaspari :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Paolo Ciancarini , Daniela Fogli , Mauro Gaspari A Logic Language Based on GAMMA-Like Multiset Rewriting. [Citation Graph (0, 0)][DBLP ] GULP-PRODE, 1995, pp:125-138 [Conf ] Roberto Barbuti , E. Bellugi , Mauro Gaspari , Roberto Giacobazzi La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. [Citation Graph (0, 0)][DBLP ] GULP, 1993, pp:341-358 [Conf ] Giuseppe Attardi , Mauro Gaspari , Pietro Iglio Effiecient Compilation of First Order Predicates. [Citation Graph (0, 0)][DBLP ] AI*IA, 1991, pp:440-444 [Conf ] Nicola Dragoni , Mauro Gaspari , Davide Guidi An ACL for Specifying Fault-Tolerant Protocols. [Citation Graph (0, 0)][DBLP ] AI*IA, 2005, pp:237-248 [Conf ] Mauro Gaspari Efficient Support for Reactive Rules in Prolog. [Citation Graph (0, 0)][DBLP ] AI*IA, 1997, pp:357-368 [Conf ] Mauro Gaspari Modelling Interactions in Agent System. [Citation Graph (0, 0)][DBLP ] AI*IA, 1995, pp:426-438 [Conf ] Mauro Gaspari , Enrico Motta , Arthur Stutt Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules. [Citation Graph (0, 0)][DBLP ] AI*IA, 1993, pp:142-153 [Conf ] Nicola Dragoni , Mauro Gaspari Performative Patterns for Designing Verifiable ACLs. [Citation Graph (0, 0)][DBLP ] CIA, 2006, pp:375-387 [Conf ] Mauro Gaspari , Gianluigi Zavattaro An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. [Citation Graph (0, 0)][DBLP ] Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:428-444 [Conf ] Giuseppe Attardi , Mauro Gaspari , F. Saracco Interoperability of AI Languages. [Citation Graph (0, 0)][DBLP ] ECAI, 1990, pp:41-46 [Conf ] Mauro Gaspari , Enrico Motta Symbol-Level Requirements for Agent-Level Programming. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:264-268 [Conf ] Giuseppe Attardi , Cinzia Bonini , Maria Rosario Boscotrecase , Tito Flagella , Mauro Gaspari Metalevel Programming in CLOS. [Citation Graph (0, 0)][DBLP ] ECOOP, 1989, pp:243-256 [Conf ] Mauro Gaspari , Gianluigi Zavattaro Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. [Citation Graph (0, 0)][DBLP ] ECOOP, 1999, pp:495-518 [Conf ] Mauro Gaspari , Enrico Motta , Dieter Fensel Automatic Selection of Problem Solving Libraries Based on Competence Matching. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1999, pp:10-11 [Conf ] Paolo Ciancarini , Daniela Fogli , Mauro Gaspari A Logic Language based on GAMMA-like Multiset Rewriting. [Citation Graph (0, 0)][DBLP ] ELP, 1996, pp:83-101 [Conf ] Nicola Dragoni , Mauro Gaspari , Davide Guidi Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2005, pp:320-325 [Conf ] Mauro Gaspari , Gianluigi Zavattaro An Algebra of Actors. [Citation Graph (0, 0)][DBLP ] FMOODS, 1999, pp:- [Conf ] Paolo Ciancarini , Mauro Gaspari Parallel Symbolic Computing with the Shared Dataspace Coordination Model. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Process-Based Parallel Logic Programming, 1994, pp:11-37 [Conf ] Giuseppe Attardi , Mauro Gaspari Multilanguage Interoperability. [Citation Graph (0, 0)][DBLP ] PLILP, 1991, pp:429-430 [Conf ] Enrico Motta , John Domingue , Liliana Cabral , Mauro Gaspari IRS-II: A Framework and Infrastructure for Semantic Web Services. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2003, pp:306-318 [Conf ] Nicola Dragoni , Mauro Gaspari , Davide Guidi A Peer-to-Peer Knowledge Level Open Service Architecture. [Citation Graph (0, 0)][DBLP ] Wissensmanagement, 2005, pp:195-201 [Conf ] Nicola Dragoni , Mauro Gaspari Crash failure detection in asynchronous agent communication languages. [Citation Graph (0, 0)][DBLP ] Autonomous Agents and Multi-Agent Systems, 2006, v:13, n:3, pp:355-390 [Journal ] Mauro Gaspari Concurrency and Knowledge-Level Communication in Agent Languages. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1998, v:105, n:1-2, pp:1-45 [Journal ] Nicola Dragoni , Mauro Gaspari , Davide Guidi An infrastructure to support cooperation of knowledge-level agents on the semantic Grid. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2006, v:25, n:2, pp:159-180 [Journal ] Mauro Gaspari , Gianluigi Roveda , Cinzia Scandellari , Sergio Stecchi An expert system for the evaluation of EDSS in multiple sclerosis. [Citation Graph (0, 0)][DBLP ] Artificial Intelligence in Medicine, 2002, v:25, n:2, pp:187-210 [Journal ] Giuseppe Attardi , Mauro Gaspari Multilanguage Interoperability. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 1996, v:15, n:6, pp:- [Journal ] Mauro Gaspari An ACL for a Dynamic System of Agents. [Citation Graph (0, 0)][DBLP ] Computational Intelligence, 2002, v:18, n:2, pp:102-119 [Journal ] Paolo Ciancarini , Daniela Fogli , Mauro Gaspari A declarative coordination language. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 2000, v:26, n:2-4, pp:125-163 [Journal ] Paolo Ciancarini , Mauro Gaspari Rule-Based Coordination of Logic Programs. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1996, v:22, n:2/3, pp:95-113 [Journal ] Mauro Gaspari , Enrico Motta , Arthur Stutt An Open Framework for Cooperative Problem Solving. [Citation Graph (0, 0)][DBLP ] IEEE Expert, 1995, v:10, n:3, pp:48-55 [Journal ] Nicola Dragoni , Mauro Gaspari An object based algebra for specifying a fault tolerant software architecture. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2005, v:63, n:2, pp:271-297 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Knowl. Inf. Syst., 2003, v:5, n:1, pp:83-131 [Journal ] Nicola Dragoni , Mauro Gaspari , Davide Guidi NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web. [Citation Graph (0, 0)][DBLP ] SWAP, 2005, pp:- [Conf ] A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction. [Citation Graph (, )][DBLP ] Facilitating Agent Development in Open Distributed Systems. [Citation Graph (, )][DBLP ] An ACL for Specifying Fault-Tolerant Protocols. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.006secs