( en | de | ru )

 

Disambiguierung von "Vos, Marina De"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Annotating answer-set programs in Lana.

, , , , und . Theory Pract. Log. Program., 12 (4-5): 619-637 (2012)

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.

Jan de Vos

Christiane de Vos

Ludovicus de Vos

An De Vos

Friederike Poche-de Vos

 

Weitere Publikationen von Autoren mit dem selben Namen

An Ordered Choice Logic Programming Front-End for Answer Set Solvers.. APPIA-GULP-PRODE, Seite 362-373. (2003)Logic Programming Agents and Game Theory., und . Answer Set Programming, (2001)CBA: A cluster-based client/server data aggregation routing protocol., , und . Ad Hoc Networks, (2016)Argumentation-Based Reasoning about Plans, Maintenance Goals, and Norms., , , und . ACM Trans. Auton. Adapt. Syst., 14 (3): 9:1-9:39 (2020)Debugging Logic Programs under the Answer Set Semantics., und . Answer Set Programming, Volume 142 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)Revising Institutions Governed by Institutions for Compliant Regulations., , , , , und . COIN@AAMAS/IJCAI, Volume 9628 von Lecture Notes in Computer Science, Seite 191-208. Springer, (2015)Normative Run-Time Reasoning for Institutionally-Situated BDI Agents., , und . COIN@AAMAS&WI-IAT, Seite 129-148. Springer, (2011)Contextualized Institutions in Virtual Organizations., , , , , und . COIN@AAMAS/PRIMA, Volume 8386 von Lecture Notes in Computer Science, Seite 136-154. Springer, (2013)ODRL Policy Modelling and Compliance Checking., , , und . RuleML+RR, Volume 11784 von Lecture Notes in Computer Science, Seite 36-51. Springer, (2019)Modelling Normative Frameworks Using Answer Set Programing., , und . LPNMR, Volume 5753 von Lecture Notes in Computer Science, Seite 548-553. Springer, (2009)