Author of the publication

Multi-Level Semantics with Vertical Integrity Constraints.

, , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 1708-1709. IOS Press, (2016)

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

Formal semantics of speech acts for argumentative dialogues., , , , and . AAMAS, page 1437-1438. IFAAMAS/ACM, (2014)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.BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper), and . CLIMA-VI: 6th Int'l Workshop on Computational Logic in Multi-Agent Systems --- Revised Selected and Invited Papers, volume 3900 of LNCS, page 143--164. Springer, (2006)jun# 27-29, 2005 in London, UK.Agent programming in the cognitive era., , , , and . Auton. Agents Multi Agent Syst., 34 (2): 37 (2020)Agent-Based Simulation Using BDI Programming in Jason., and . Multi-Agent Systems, CRC Press / Taylor & Francis, (2009)Ascription of Intensional Ontologies in Anthropological Descriptions of Mult-Agent Systems., , and . CIA, volume 1202 of Lecture Notes in Computer Science, page 235-247. Springer, (1997)Distributed fault diagnosis for multiple mobile robots using an agent programming language., , , and . ICAR, page 395-400. IEEE, (2015)Argumentation Schemes for Collaborative Debate of Requirement Risks in Software Projects., , , and . Int. J. Softw. Eng. Knowl. Eng., 27 (9-10): 1613-1636 (2017)RV4JaCa - Runtime Verification for Multi-Agent Systems., , , , , and . AREA@IJCAI-ECAI, volume 362 of EPTCS, page 23-36. (2022)Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control., , and . SPLASH Workshops, page 143-146. ACM, (2011)