Skip to content

Oliver Kutz

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

37

Venues

21

Active years

2000–2025

Best venue rank

A*

Where they publish

Papers

37 indexed papers, newest first.

YearVenueTitleAuthors
2025NeSyUnderstanding the Expressive Capabilities of Knowledge Base Embeddings under Box Semantics.Mena Leemhuis, Oliver Kutz
2025PRIMATowards Neuro-Symbolic Conceptual Blending.Mena Leemhuis, Oliver Kutz
2025PRIMADefeasible Reasoning in Description Logics with Prototype Descriptions.Gabriele Sacco, Loris Bozzato, Oliver Kutz
2025WoLLICAbstracting Conceptual Models as a Weakening Process.Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi
2024EKAWModelling and Mining Knowledge About Computational Complexity.Anton R. Gnatenko, Oliver Kutz, Nicolas Troquard
2024FOISKnow Your Exceptions.Gabriele Sacco, Loris Bozzato, Oliver Kutz
2023ERTowards Semantics for Abstractions in Ontology-Driven Conceptual Modeling.Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi
2023KIAn Ontological Modelling of Prototype Theories.Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri, Oliver Kutz
2023KRSuccinctness and Complexity of ALC with Counting Perceptrons.Pietro Galliani, Oliver Kutz, Nicolas Troquard
2022EPIAAlmost Certain Termination forRoberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
2022IJCAIAsymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract).Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
2021FOISAsymmetric Hybrids: Dialogues for Computational Concept Combination.Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
2021ICANNTowards Knowledge-driven Distillation and Explanation of Black-box Models.Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
2020EKAWPerceptron Connectives in Knowledge Representation.Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
2018AAAIRepairing Ontologies via Axiom Weakening.Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Pealoza, Daniele Porello, Oliver Kutz
2018FOISThe Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency.Oliver Kutz, Nicolas Troquard, Maria M. Hedblom, Daniele Porello
2018IC3KA Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models.Pietro Galliani, Oliver Kutz, Roberto Confalonieri
2018IJCAIOrchestrating a Network of Mereotopological Theories: An Abridged Report.C. Maria Keet, Oliver Kutz
2018IJCAITwo Approaches to Ontology Aggregation Based on Axiom Weakening.Daniele Porello, Nicolas Troquard, Rafael Pealoza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz
2018SACIn, out and through: formalising some dynamic aspects of the image schema containment.Maria M. Hedblom, Dagmar Gromann, Oliver Kutz
2017PRIMARepairing Socially Aggregated Ontologies Using Axiom Weakening.Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Pealoza
2015IJCAIUpward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++.Roberto Confalonieri, Marco Schorlemmer, Enric Plaza, Manfred Eppe, Oliver Kutz, Rafael Pealoza
2015LPNMRASP, Amalgamation, and the Conceptual Blending Workflow.Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza
2014CADEProof Support for Common Logic.Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grninger
2013IJCAIThree Semantics for the Core of the Distributed Ontology Language (Extended Abstract).Till Mossakowski, Christoph Lange, Oliver Kutz
2012AIMSAModelling Highly Symmetrical Molecules: Linking Ontologies and Graphs.Oliver Kutz, Janna Hastings, Till Mossakowski
2012AISCThe Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grninger
2012FlAIRSThe Analysis and Synthesis of Logic Translation.Tzu-Keng Fu, Oliver Kutz
2012FOISThree Semantics for the Core of the Distributed Ontology Language.Till Mossakowski, Christoph Lange, Oliver Kutz
2011AAAIA Modular Consistency Proof for DOLCE.Oliver Kutz, Till Mossakowski
2010AIMSATowards Ontological Blending.Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman
2010ERModelling Functional Requirements in Spatial Design.Mehul Bhatt, Joana Hois, Oliver Kutz, Frank Dylla
2008ECAIConservativity in Structured Ontologies.Oliver Kutz, Till Mossakowski
2008FOISCounterparts in Language and Space - Similarity and [Sscr ]-Connection.Joana Hois, Oliver Kutz
2006KRThe Even More Irresistible SROIQ.Ian Horrocks, Oliver Kutz, Ulrike Sattler
2002KRConnecting Abstract Description Systems.Oliver Kutz, Frank Wolter, Michael Zakharyaschev
2000AiMLThe Semantics of Modal Predicate Logic I. Counterpart-Frames.Marcus Kracht, Oliver Kutz