Author of the publication

Message from the EVL-BP 2015 Workshop Co-Chairs.

, , and . EDOC Workshops, page 1-3. IEEE Computer Society, (2015)

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

Validation of Autonomous Vehicle Overtaking under Queensland Road Rules., , , and . RuleML+RR (Companion), volume 3229 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Towards an implicit treatment of periodically-repeated medical data., , , , and . MedInfo, volume 160 of Studies in Health Technology and Informatics, page 1131-1135. IOS Press, (2010)Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms., , and . MIWAI, volume 7080 of Lecture Notes in Computer Science, page 63-74. Springer, (2011)Sending Messages in Social Networks., , , and . KES-AMSTA, volume 96 of Smart Innovation, Systems and Technologies, page 123-133. Springer, (2018)Special issue on logics for intelligent agents and multi-agent systems., , , , and . J. Appl. Log., 9 (4): 221-222 (2011)Deontic Meta-Rules., , , , and . CoRR, (2022)Analytic Modal Revision for Multi-agent Systems., and . EPIA, volume 1695 of Lecture Notes in Computer Science, page 282-296. Springer, (1999)A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations., , and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 82-97. Springer, (2000)Advancements in Resource-Driven Substructural Defeasible Logic., , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 247-258. Springer, (2019)Labelled Tableaux for Non-normal Modal Logics., and . AI*IA, volume 1792 of Lecture Notes in Computer Science, page 119-130. Springer, (1999)