Autor der Publikation

The Complexity of Norm Synthesis and Revision.

, , , , , und . COINE, Volume 13549 von Lecture Notes in Computer Science, Seite 38-53. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Logic and Agent Programming Languages.. WoLLIC, Volume 8071 von Lecture Notes in Computer Science, Seite 1-10. Springer, (2013)Coalition and Group Announcement Logic., und . CoRR, (2018)Reasoning about plan revision in BDI agent programs., , , und . Theor. Comput. Sci., 412 (44): 6115-6134 (2011)N-Jason: Run-Time Norm Compliance in AgentSpeak(L)., , , , und . EMAS@AAMAS, Volume 8758 von Lecture Notes in Computer Science, Seite 367-387. Springer, (2014)State Space Search with Prioritised Soft Constraints., und . Appl. Intell., 14 (3): 263-272 (2001)Intention Progression under Uncertainty., , , und . IJCAI, Seite 10-16. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)., , , und . IJCAI, Seite 5543-5547. ijcai.org, (2018)On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic., , , und . IJCAI, Seite 1494-1501. AAAI Press, (2015)Computational Models for Normative Multi-Agent Systems., , , , , , , und . Normative Multi-Agent Systems, Volume 4 von Dagstuhl Follow-Ups, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Decidable Model Checking with Uniform Strategies., , und . AAMAS, Seite 170-178. International Foundation for Autonomous Agents and Multiagent Systems, (2019)