Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Concurrency and Knowledge-Level Communication in Agent Languages.. Artif. Intell., 105 (1-2): 1-45 (1998)A Logic Language Based on GAMMA-Like Multiset Rewriting., , and . GULP-PRODE, page 125-138. (1995)An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study., and . Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 428-444. Springer, (2001)Effiecient Compilation of First Order Predicates., , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 440-444. Springer, (1991)Crash failure detection in asynchronous agent communication languages., and . Auton. Agents Multi Agent Syst., 13 (3): 355-390 (2006)Declarative Specification of Fault Tolerant Auction Protocols: the English Auction Case Study., and . Comput. Intell., 28 (4): 617-641 (2012)Weekend in Rome: a cognitive training exercise based on planning., and . SAT@SMC, volume 2474 of CEUR Workshop Proceedings, page 37-41. CEUR-WS.org, (2019)Symbol-Level Requirements for Agent-Level Programming., and . ECAI, page 264-268. John Wiley and Sons, Chichester, (1994)La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli., , , and . GULP, page 341-358. (1993)Guard Compilation in Logic Shared Dataspace Languages.. ICLP Workshop on Blackboard-Based Logic Programming, (1993)