Author of the publication

Proof Support for Common Logic

, , , , and . Automated Reasoning in Quantified Non-Classical Logics (ARQNL), 33, page 42--58. EasyChair, (2014)

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

What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events., , , and . TriCoLore (C3GI/ISD/SCORE), volume 2347 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Multi-modal Image Schemas, and . (2017)Image Schemas and Ontology in Architectural Rules (short paper)., , and . JOWO, volume 3249 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning., , and . CILC, volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)The Moving Apple: An Image-Schematic Investigation into the Leuven Concept Database., and . ISD, volume 3511 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending, , , , and . Computational Creativity Research: Towards Creative Machines, volume 7 of Atlantis Thinking Machines, page 167-196. Atlantis Press, (2015)Heterogeneously Structured Ontologies: Integration, Connection, and Refinement, , and . Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, volume 90 of CRPIT, (2008)Semantics of the Distributed Ontology Language: Institutes and Institutions, , and . Recent Trends in Algebraic Development Techniques, 7841, page 212--230. Springer, (2013)Towards a Standard for Heterogeneous Ontology Integration and Interoperability, , , and . First International Conference on Terminology, Language and Content Resources (LaRC), page 101--110. KATS, (June 2011)A Toothful of Concepts: Towards a Theory of Weighted Concept Combination., , , , , and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)