BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Patrick Koopmann
SearchCollections
Map detail
Patrick Koopmann15 visible / 15 total nodes / 42 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextWorks onCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipPatrick KoopmannAPatrick KoopmannResearcherAnselm HaakAAnselm HaakResearcherYasir MahmoodAYasir MahmoodResearcherAnni-Yasmin TurhanAAnni-Yasmin TurhanResearcherSignature-Based Abduction for Expressive Description Logics -- Technical ReportWSignature-Based Abducti...preprint / 2020Logic in Computer ScienceTLogic in Computer Science2208 worksArtificial IntelligenceTArtificial Intelligence22915 worksABox Abduction for Inconsistent Knowledge Bases under Repair SemanticsWABox Abduction for Inco...preprint / 2026Connection-minimal Abduction in EL via Translation to FOL -- Technical ReportWConnection-minimal Abdu...preprint / 2022Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)WExplaining Ontology-Med...preprint / 2022Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)WFinding Good Proofs for...preprint / 2022Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)WFinding Good Proofs for...preprint / 2022On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)WOn the Eve of True Expl...preprint / 2022Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)WFinding Small Proofs fo...preprint / 2020Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended VersionWEvonne: Interactive Pro...preprint / 2022
Person14 links

Patrick Koopmann

Researcher

PersonAnselm HaakCo-authorship / ResearcherPersonYasir MahmoodCo-authorship / ResearcherPersonAnni-Yasmin TurhanCo-authorship / ResearcherPaperSignature-Based Abduction for Expressive Description Logics -- Technical ReportAuthorship / preprint / 2020TopicLogic in Computer ScienceWorks on / 2208 worksTopicArtificial IntelligenceWorks on / 22915 worksPaperABox Abduction for Inconsistent Knowledge Bases under Repair SemanticsAuthorship / preprint / 2026PaperConnection-minimal Abduction in EL via Translation to FOL -- Technical ReportAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)