( en | de | ru )

 

Disambiguierung von "Dasseville, Ingmar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantics of templates in a compositional framework for building logics.

, , , und . Theory Pract. Log. Program., 15 (4-5): 681-695 (2015)

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.

Ingmar Naumer

Ingmar Feigt

Ingmar Fernengel

Ingmar Gröning

Ingmar Frank

 

Weitere Publikationen von Autoren mit dem selben Namen

The KB paradigm and its application to interactive configuration., , , und . Theory Pract. Log. Program., 17 (1): 91-117 (2017)Visualising interactive inferences with IDPD3., , und . CoRR, (2015)FMS: Functional Programming as a Modelling Language., und . WFLP, Volume 11285 von Lecture Notes in Computer Science, Seite 145-161. Springer, (2018)The KB Paradigm and Its Application to Interactive Configuration., , , und . PADL, Volume 9585 von Lecture Notes in Computer Science, Seite 13-29. Springer, (2016)Semantics of templates in a compositional framework for building logics., , , und . Theory Pract. Log. Program., 15 (4-5): 681-695 (2015)A web-based IDE for IDP., und . CoRR, (2015)Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete., , , , und . CSF, Seite 432-442. IEEE Computer Society, (2016)Transpiling Programmable Computable Functions to Answer Set Programs., und . CoRR, (2018)Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment., , , , und . RuleML (Supplement), Volume 1620 von CEUR Workshop Proceedings, CEUR-WS.org, (2016)Transpiling Programming Computable Functions to Answer Set Programs., und . WFLP, Volume 11285 von Lecture Notes in Computer Science, Seite 3-17. Springer, (2018)