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

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)Declarative Specification of Fault Tolerant Auction Protocols: the English Auction Case Study., and . Comput. Intell., 28 (4): 617-641 (2012)Crash failure detection in asynchronous agent communication languages., and . Auton. Agents Multi Agent Syst., 13 (3): 355-390 (2006)A Logic Language Based on GAMMA-Like Multiset Rewriting., , and . GULP-PRODE, page 125-138. (1995)Concurrency and Knowledge-Level Communication in Agent Languages.. Artif. Intell., 105 (1-2): 1-45 (1998)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)Metalevel Programming in CLOS., , , , and . ECOOP, page 243-256. Cambridge University Press, (1989)