Author of the publication

On Axiomatization of Epistemic GDL.

, , and . LORI, volume 10455 of Lecture Notes in Computer Science, page 598-613. Springer, (2017)

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

Strategic Disclosure of Opinions on a Social Network., , , and . AAMAS, page 1196-1204. ACM, (2017)Online Market Coordination., , and . PRIMA, volume 5357 of Lecture Notes in Computer Science, page 185-196. Springer, (2008)Maximal Matching for Double Auction., , , and . Australasian Conference on Artificial Intelligence, volume 6464 of Lecture Notes in Computer Science, page 516-525. Springer, (2010)Hierarchical Task Network Planning with Task Insertion and State Constraints., , , , and . IJCAI, page 4463-4469. ijcai.org, (2017)A Formalism for Convergence Measurement in a multi-viewpoint Requirement Process., and . EJC, volume 51 of Frontiers in Artificial Intelligence and Applications, page 191-199. IOS Press, (1998)Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions., , , , , and . AAMAS, page 62-71. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), (2022)Reasoning about Changes of Corpus of Documents: Reasoning on Association Rules.. FLAIRS, AAAI Press, (2009)Revising Contextual Theories.. FLAIRS, page 511-515. AAAI Press, (2003)How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design., , and . EC-Web, volume 85 of Lecture Notes in Business Information Processing, page 124-135. Springer, (2011)A Modal Framework for Relating Belief and Signed Information., , and . CLIMA, volume 6814 of Lecture Notes in Computer Science, page 58-73. Springer, (2011)