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.

Carsten Lutz
SearchCollections
Map detail
Carsten Lutz16 visible / 16 total nodes / 37 links

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

Related contextCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onAuthorshipWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalCarsten LutzACarsten LutzResearcherMarvin GrosserAMarvin GrosserResearcherEfficiently Enumerating Answers to Ontology-Mediated QueriesWEfficiently Enumerating...preprint / 2022Ontology-Mediated Querying on Databases of Bounded CliquewidthWOntology-Mediated Query...preprint / 2022Foundations for Uniform Interpolation and Forgetting in Expressive Description LogicsWFoundations for Uniform...preprint / 2011Description Logic TBoxes: Model-theoretic Characterizations and RewritabilityWDescription Logic TBoxe...preprint / 2011Logic in Computer ScienceTLogic in Computer Science2208 worksArtificial IntelligenceTArtificial Intelligence22915 worksFitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite ModelsWFitting Horn DL Ontolog...preprint / 2026Conservative Extensions for Existential RulesWConservative Extensions...preprint / 2022How to Approximate Ontology-Mediated QueriesWHow to Approximate Onto...preprint / 2022Logical Separability of Labeled Data Examples under OntologiesWLogical Separability of...preprint / 2022Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted SignaturesWSeparating Positive and...preprint / 2020A Journey into Ontology Approximation: From Non-Horn to HornWA Journey into Ontology...preprint / 2020The Complexity of Circumscription in DLsWThe Complexity of Circu...preprint / 2014The Complexity of Enriched Mu-CalculiWThe Complexity of Enric...preprint / 2008
Person15 links

Carsten Lutz

Researcher

PersonMarvin GrosserCo-authorship / ResearcherPaperEfficiently Enumerating Answers to Ontology-Mediated QueriesAuthorship / preprint / 2022PaperOntology-Mediated Querying on Databases of Bounded CliquewidthAuthorship / preprint / 2022PaperFoundations for Uniform Interpolation and Forgetting in Expressive Description LogicsAuthorship / preprint / 2011PaperDescription Logic TBoxes: Model-theoretic Characterizations and RewritabilityAuthorship / preprint / 2011TopicLogic in Computer ScienceWorks on / 2208 worksTopicArtificial IntelligenceWorks on / 22915 worksPaperFitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite ModelsAuthorship / preprint / 2026

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)