Author of the publication

Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak(L)

, and . Annals of Mathematics and Artificial Intelligence, 42 (1-3): 197--226 (2004)Special Issue on Computational Logic in Multi-Agent Systems.
DOI: 10.1023/B:AMAI.0000034527.45635.e5

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

Bringing Belief Base Change into Dynamic Epistemic Logic., and . DaLí, volume 12005 of Lecture Notes in Computer Science, page 190-205. Springer, (2019)A non-conservative software-based approach for detecting illegal CFEs caused by transient faults., , , , and . DFTS, page 221-226. IEEE Computer Society, (2015)Generalized Iterated Belief Change in Dynamic Epistemic Logic., , and . BRACIS, page 693-698. IEEE, (2019)Agent-Oriented Programming with Underlying Ontological Reasoning., , , and . DALT, volume 3904 of Lecture Notes in Computer Science, page 155-170. Springer, (2005)An asynchronous algorithm to improve scheduling quality in the multiagent simple temporal problem., and . AAMAS, page 1381-1382. IFAAMAS/ACM, (2014)On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language., , , and . J. Artif. Intell. Res., (2007)ACQuA: A Parallel Accelerator Architecture for Pure Functional Programs., , , and . ISVLSI, page 346-351. IEEE, (2020)Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach., , and . AAAI, page 3076-3083. AAAI Press, (2019)Belief Update in AgentSpeak-DL., and . Programming Multi-Agent Systems, volume 08361 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Communication for Agents with Ontological Reasoning., , , and . WI-IAT (2), page 182-185. IEEE Computer Society, (2015)978-1-4673-9618-9.