Frank Wolter
University of Liverpool
H-index: 64
Europe-United Kingdom
Top articles of Frank Wolter
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
arXiv preprint arXiv:2404.02683
2024/4/3
Frank Wolter
H-Index: 33
Michael Zakharyaschev
H-Index: 30
The interpolant existence problem for weak K4 and difference logic
arXiv preprint arXiv:2403.11255
2024/3/17
A non-uniform view of Craig interpolation in modal logics with linear frames
arXiv preprint arXiv:2312.05929
2023/12/10
Living without Beth and Craig: Definitions and interpolants in description and modal logics with nominals and role inclusions
ACM Transactions on Computational Logic
2023/10/10
Current and future challenges in knowledge representation and reasoning
arXiv preprint arXiv:2308.04161
2023/8/8
Birte Glimm
H-Index: 16
Thomas Meyer
H-Index: 17
Miroslaw Truszczynski
H-Index: 21
Frank Wolter
H-Index: 33
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries
arXiv preprint arXiv:2306.07662
2023/6/13
Reverse engineering of temporal queries mediated by LTL ontologies
arXiv preprint arXiv:2305.01248
2023/5/2
Definitions and (uniform) interpolants in first-order modal logic
arXiv preprint arXiv:2303.04598
2023/3/8
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
2022/1/1
Andrea Mazzullo
H-Index: 2
Frank Wolter
H-Index: 33
Logical separability of labeled data examples under ontologies
Artificial Intelligence
2022/12/1
Carsten Lutz
H-Index: 35
Frank Wolter
H-Index: 33
First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries
Journal of Artificial Intelligence Research
2022/11/30
Unique characterisability and learnability of temporal instance queries
arXiv preprint arXiv:2205.01651
2022/5/3
Interpolants and explicit definitions in extensions of the description logic EL
arXiv preprint arXiv:2202.07186
2022/2/15
Boris Konev
H-Index: 15
Frank Wolter
H-Index: 33
Reverse engineering of temporal queries with and without LTL ontologies: First steps
2022/1/1
First-order rewritability of ontology-mediated queries in linear temporal logic
Artificial Intelligence
2021/10/1
Interpolants and Explicit Definitions in Horn Description Logics
CEUR Workshop Proceedings
2021/9/7
Boris Konev
H-Index: 15
Frank Wolter
H-Index: 33
How to approximate ontology-mediated queries
arXiv preprint arXiv:2107.05369
2021/7/12
Separating data examples by description logic concepts with restricted signatures
arXiv preprint arXiv:2107.05285
2021/7/12
Carsten Lutz
H-Index: 35
Frank Wolter
H-Index: 33
On free description logics with definite descriptions
2021/6/29
First order-rewritability and containment of conjunctive queries in Horn description logics
arXiv preprint arXiv:2011.09836
2020/11/19
Co-Authors
