Author of the publication

QLB: A Quantified Logic for Belief.

, and . ATAL, volume 1193 of Lecture Notes in Computer Science, page 71-85. Springer, (1996)

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

Defining interaction protocols using a commitment-based agent communication language., and . AAMAS, page 520-527. ACM, (2003)Reply to Dario Floreano's "Engineering Adaptive Behavior"., and . Adaptive Behaviour, 5 (3-4): 417-420 (1997)Planning Perlocutionary Acts., , and . IJCAI, page 78-80. William Kaufmann, (1983)Ingegneria della conoscenza 2008-09. (2008)An Infrastructure for Open Interaction Systems., , and . AT, volume 918 of CEUR Workshop Proceedings, page 442-443. CEUR-WS.org, (2012)A Logical Model for Agent Communication Languages., and . LCMAS, volume 85 of Electronic Notes in Theoretical Computer Science, page 192-207. Elsevier, (2003)On the use of OWL Reasoning for Evaluating Access Control Policies., , , and . SEMANTiCS (Posters & Demos), volume 1481 of CEUR Workshop Proceedings, page 71-74. CEUR-WS.org, (2015)Protocol Specification Using a Commitment Based ACL., and . Workshop on Agent Communication Languages, volume 2922 of Lecture Notes in Computer Science, page 108-127. Springer, (2003)Guest editorial: Marco Somalvico memorial issue., , and . Ann. Math. Artif. Intell., 54 (4): 257-264 (2008)NLDA: A Natural Language Reasoning System for the Analysis of Data Base Requirements., , and . Methodology and Tools for Data Base Design, North-Holland, (1983)