Oliver Kutz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Repairing socially aggregated ontologies using axiom weakening	2022-11-02	Paper
Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention Annals of Mathematics and Artificial Intelligence	2020-06-11	Paper
Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) Annals of Mathematics and Artificial Intelligence	2018-08-06	Paper
A computational framework for conceptual blending Artificial Intelligence	2018-05-11	Paper
The distributed ontology, modeling and specification language -- DOL Studies in Universal Logic	2017-08-28	Paper
Logics of metric spaces ACM Transactions on Computational Logic	2017-06-13	Paper
ASP, amalgamation, and the conceptual blending workflow Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Semantics of the distributed ontology language: institutes and institutions Recent Trends in Algebraic Development Techniques	2013-09-13	Paper
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design Logica Universalis	2013-01-25	Paper
Proof complexity of non-classical logics Lecture Notes in Computer Science	2012-11-01	Paper
The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization Lecture Notes in Computer Science	2012-09-07	Paper
Axiomatizing distance logics Journal of Applied Non-Classical Logics	2009-11-30	Paper
Counterparts in language and space. Similarity and \(\mathcal S\)-connection	2009-03-24	Paper
Notes on logics of metric spaces Studia Logica	2007-04-26	Paper
\({\mathcal E}\)-connections of abstract description systems Artificial Intelligence	2006-02-07	Paper
scientific article; zbMATH DE number 2236678 (Why is no real title available?)	2005-12-08	Paper
scientific article; zbMATH DE number 2019849 (Why is no real title available?)	2004-01-04	Paper
scientific article; zbMATH DE number 1989658 (Why is no real title available?)	2003-10-09	Paper

Research outcomes over time

This page was built for person: Oliver Kutz