Frank Wolter

Identifiers

• name variant Frank Wolter 0.60 · backfill

Papers (17)

1. Computation and Size of Interpolants for Hybrid Modal Logics cs.LO · 2026 · author #3
2. The Size of Interpolants in Modal Logics cs.LO · 2025 · author #3
3. Model Comparison Games for Horn Description Logics cs.LO · 2019 · author #3
4. Query Inseparability for ALC Ontologies cs.AI · 2019 · author #4
5. Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey cs.AI · 2018 · author #5
6. Dichotomies in Ontology-Mediated Querying with the Guarded Fragment cs.DB · 2018 · author #4
7. Exact Learning of Lightweight Description Logic Ontologies cs.LG · 2017 · author #4
8. Conservative Extensions in Guarded and Two-Variable Fragments cs.LO · 2017 · author #5
9. Query-Based Entailment and Inseparability for ALC Ontologies (Full Version) cs.LO · 2016 · author #4
10. The Logical Difference for the Lightweight Description Logic EL cs.LO · 2014 · author #4
11. The Complexity of Circumscription in DLs cs.LO · 2014 · author #3
12. Temporal Description Logic for Ontology-Based Data Access (Extended Version) cs.LO · 2013 · author #3
13. Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP cs.DB · 2013 · author #4
14. Description Logic TBoxes: Model-theoretic Characterizations and Rewritability cs.LO · 2011 · author #3
15. Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics cs.LO · 2011 · author #2
16. Undecidability of the unification and admissibility problems for modal and description logics cs.LO · 2006 · author #1
17. Modal Logics of Topological Relations cs.LO · 2006 · author #2

Mentions

• 1401.5850 #4 · backfill · confidence 0.70 Frank Wolter
• 1401.3476 #3 · backfill · confidence 0.70 Frank Wolter
• 1304.5185 #3 · backfill · confidence 0.70 Frank Wolter
• 1301.6479 #4 · backfill · confidence 0.70 Frank Wolter
• 1104.2844 #3 · backfill · confidence 0.70 Frank Wolter
• 1104.2825 #2 · backfill · confidence 0.70 Frank Wolter
• 2602.15821 #3 · arxiv_oai · confidence 0.70 Frank Wolter

Frequent Coauthors

• Carsten Lutz 11 shared papers
• Michael Zakharyaschev 6 shared papers
• Boris Konev 3 shared papers
• Elena Botoeva 3 shared papers
• Jean Christoph Jung 3 shared papers
• Vladislav Ryzhikov 3 shared papers
• Balder ten Cate 2 shared papers
• Fabio Papacchini 2 shared papers
• Alessandro Artale 1 shared papers
• Ana Ozaki 1 shared papers
• Andre Hernich 1 shared papers
• Dirk Walther 1 shared papers
• J\k{e}drzej Ko{\l}odziejski 1 shared papers
• Louwe Kuijer 1 shared papers
• Mauricio Martel 1 shared papers
• Meghyn Bienvenu 1 shared papers
• Michel Ludwig 1 shared papers
• Piero A. Bonatti 1 shared papers
• Robert Piro 1 shared papers
• Roman Kontchakov 1 shared papers