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.

Franz Baader
SearchCollections
Map detail
Franz Baader7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFranz BaaderAFranz BaaderResearcherSatisfiability and Query Answering in Description Logics with Global and Local Cardinality ConstraintsWSatisfiability and Quer...preprint / 2020The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of TheoriesWThe Unification Type of...preprint / 2026Unification in the Description Logic ELWUnification in the Desc...preprint / 2010Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)WFinding Good Proofs for...preprint / 2022Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended VersionWEvonne: Interactive Pro...preprint / 2022Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)WFinding Small Proofs fo...preprint / 2020
Person6 links

Franz Baader

Researcher

PaperSatisfiability and Query Answering in Description Logics with Global and Local Cardinality ConstraintsAuthorship / preprint / 2020PaperThe Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of TheoriesAuthorship / preprint / 2026PaperUnification in the Description Logic ELAuthorship / preprint / 2010PaperFinding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)Authorship / preprint / 2022PaperEvonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended VersionAuthorship / preprint / 2022PaperFinding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)Authorship / preprint / 2020

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)