Frank Wolter

University of Liverpool — United Kingdom

Computer Science · Physical Sciences

56h-index11.0kcitations393works1.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Semantic Web and Ontologies(213), Logic, Reasoning, and Knowledge(203), Advanced Database Systems and Queries(100), Natural Language Processing Techniques(55), Advanced Algebra and Logic(53)

Publications393 total

The Size of Interpolants in Modal Logics
arXiv (Cornell University)·2025Open Access
Investigating Counterclaims in Causality Extraction from Text
arXiv (Cornell University)·2025Open Access
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
Logical Methods in Computer Science·2025Open Access
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
arXiv (Cornell University)·2025Open Access
From Interpolating Formulas to Separating Languages and Back Again
arXiv (Cornell University)·2025Open Access
Computation of Interpolants for Description Logic Concepts in Hard Cases
ArXiv.org·2025Open Access
Ian Pratt-Hartmann, Fragments of First-Order Logic, vol. 56 of Oxford Logic Guides, Oxford University Press, 2023, pp. 672; ISBN: 978-0192867964 (Hardback) £127.50.
Studia Logica·2025
Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
2025· 1 cited
Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
arXiv (Cornell University)·2025Open Access
Die Neuordnung der Meere
Mohr Siebeck eBooks·2025
Industrial Development Policies for Indonesia
Mohr Siebeck eBooks·2025
Die deutsche Wirtschaft im Strukturwandel
Mohr Siebeck eBooks·2025· 18 cited
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
2024Open Access
Non-Rigid Designators in Modal and Temporal Free Description Logics
2024Open Access
STAMImputer: Spatio-Temporal Attention MoE for Traffic Data Imputation
2024Open Access
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
arXiv (Cornell University)·2024Open Access
Extremal Separation Problems for Temporal Instance Queries
arXiv (Cornell University)·2024Open Access
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
arXiv (Cornell University)·2024Open Access
The interpolant existence problem for weak K4 and difference logic
arXiv (Cornell University)·2024Open Access
A non-uniform view of Craig interpolation in modal logics with linear frames
arXiv (Cornell University)·2023Open Access
page 1 of 20Next →

Frequent Co-authors

Michael Zakharyaschev(24), Carsten Lutz(20), Roman Kontchakov(8), Dirk Walther(6), Boris Konev(5), Ian Hodkinson(3), David Toman(3), Maja Miličić(3), Patrick Blackburn(2), Franz Baader(2), Ulrike Sattler(2), Marcus Kracht(2), Piero A. Bonatti(2), Agi Kurucz(2), Alessandro Artale(2), Holger Sturm(1), Norihiro Suzuki(1), Johan van Benthem(1), Rudolf Loertscher(1), Oliver Kutz(1)