Author of the publication

Towards Logical Frameworks in the Heterogeneous Tool Set Hets

, , , , , and . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 139-159. Springer, (2012)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Extended Heterogeneous KR&R Framework for Concept Invention, , , , and . (2015)Hets for Common Logic Users, , , , and . (2013)Generic Ontology Design Patterns: Roles and Change over Time, , and . (2020)Generic Ontology Design Patterns: Roles and Change over Time., , and . CoRR, (2020)Deducing Qualitative Capabilities with Generic Ontology Design Patterns., and . ROBOT (1), volume 1092 of Advances in Intelligent Systems and Computing, page 391-403. Springer, (2019)Modelling Episodes with Generic Ontology Design Patterns., , and . JOWO, volume 2708 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Compiling Logics, , , , and . Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, page 111-126. Springer, (2013)A Proof Theoretic Interpretation of Model Theoretic Hiding, , , , and . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 118-138. Springer, (2012)Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending., , , , , , , and . IJCAI, page 2445-2451. AAAI Press, (2015)Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution., , , , and . Concept Invention, Springer, (2018)