Autor der Publikation

Taking stock of available technologies for compliance checking on first-order knowledge.

, , , , , , , , , und . CILC, Volume 3204 von CEUR Workshop Proceedings, Seite 1-16. CEUR-WS.org, (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

A geometric framework for fairness., , , , und . AEQUITAS@ECAI, Volume 3523 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)A Mechanism for Reasoning over Defeasible Preferences in Arg2P., , , und . CILC, Volume 3002 von CEUR Workshop Proceedings, Seite 16-30. CEUR-WS.org, (2021)Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review., , , und . AAMAS, Seite 1721-1723. ACM, (2021)Towards cooperative argumentation for MAS: an Actor-based approach., , und . WOA, Volume 2963 von CEUR Workshop Proceedings, Seite 162-177. CEUR-WS.org, (2021)Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming., , und . AI*IA, Volume 12414 von Lecture Notes in Computer Science, Seite 19-36. Springer, (2020)Multi-agent Cooperative Argumentation in Arg2P., , und . AI*IA, Volume 13796 von Lecture Notes in Computer Science, Seite 140-153. Springer, (2022)Defeasible Systems in Legal Reasoning: A Comparative Assessment., , , , und . JURIX, Volume 322 von Frontiers in Artificial Intelligence and Applications, Seite 169-174. IOS Press, (2019)Arguing About the Existence of Conflicts., , , und . COMMA, Volume 353 von Frontiers in Artificial Intelligence and Applications, Seite 284-295. IOS Press, (2022)Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques., und . ECAI Workshops (1), Volume 1947 von Communications in Computer and Information Science, Seite 179-197. Springer, (2023)Symbolic Knowledge Comparison: Metrics and Methodologies for Multi-Agent Systems., , und . WOA, Volume 3735 von CEUR Workshop Proceedings, Seite 202-216. CEUR-WS.org, (2024)