Patrick Koopmann
6 papers · 2019–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (11) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Cross-Pollinator (5)
π
Academic Marathon
(7)
π
Renaissance Researcher
(6)
π
Conference Pioneer
β
The Questioner
Conferences
AAAI (3)
IJCAI (3)
Top co-authors
Keywords
description logic
(5)
knowledge representation
(2)
knowledge base
(2)
module extraction
(2)
uniform interpolation
(2)
contrastive explanation
(1)
hypothesis generation
(1)
temporal datum
(1)
complex concept
(1)
ontology engineering
(1)
probabilistic datum
(1)
datalog rewriting
(1)
abox abduction
(1)
ontology entailment
(1)
role chain axiom
(1)
stream reasoning
(1)
conjunctive queries
(1)
horn logic
(1)
ontology rewriting
(1)
assertion entailment
(1)
Papers
Can You Tell the Difference? Contrastive Explanations for ABox Entailments
AAAI 2026
Efficient Computation of General Modules for ALC Ontologies
IJCAI 2023
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics
IJCAI 2021
Deductive Module Extraction for Expressive Description Logics
IJCAI 2020
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment
AAAI 2019
Ontology-Based Query Answering for Probabilistic Temporal Data
AAAI 2019