( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Compositional Typed Higher-Order Logic with Definitions.

, , , , и . ICLP (Technical Communications), том 52 из OASICS, стр. 14:1-14:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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.

Ingmar Glauche

Ingmar Rahn

Ingmar Frank

Ingmar Fernengel

Ingmar Gröning

 

Другие публикации лиц с тем же именем

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