Frank Wolter - Publications, H-index & Citations

Frank Wolter

King's College London

56H指数

390论文数

1.1W被引数

收录论文 13

发表时间

A NON-UNIFORM VIEW OF CRAIG INTERPOLATION IN MODAL LOGICS WITH LINEAR FRAMES

Journal of Symbolic Logic

IF0.6

2025-10-01

PREAI

Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael

Assessing tourist willingness to pay for excursions on environmentally benign tourist boats: A case study and trend analysis from Berlin, Germany

RESEARCH IN TRANSPORTATION BUSINESS AND MANAGEMENT

IF4.4

2023-06-01

PREAI

Wahnschafft, Ralph; Wolter, Frank

Logical separability of labeled data examples under ontologies

artificial intelligence review

IF4.6

2022-12-01

OAAI

Jung, Jean Christoph; Lutz, Carsten; Pulcini, Hadrien; Wolter, Frank

First-order rewritability of ontology-mediated queries in linear temporal logic

artificial intelligence review

IF4.6

2021-10-01

OAAI

Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael

Query inseparability for ALC ontologies

artificial intelligence review

IF4.6

2019-07-01

OAAI

Botoeva, Elena; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael

Games for query inseparability of description logic knowledge bases

artificial intelligence review

IF4.6

2016-05-01

OAAI

Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael

Model-theoretic inseparability and modularity of description logic ontologies

artificial intelligence review

IF4.6

2013-10-01

OAAI

Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank

Dynamic Conservation of Forest Genetic Resources in 33 European Countries

CONSERVATION BIOLOGY

IF5.5

2012-12-12

PREAI

Lefevre, Francois; Koskela, Jarkko; Hubert, Jason; Kraigher, Hojka; Longauer, Roman; Olrik, Ditte C.; Schueler, Silvio; Bozzano, Michele; Alizoti, Paraskevi; Bakys, Remigijus; Baldwin, Cathleen; Ballian, Dalibor; Black-Samuelsson, Sanna; Bednarova, Dagmar; Bordacs, Sandor; Collin, Eric; De Cuyper, Bart; De Vries, Sven M. G.; Eysteinsson, Throestur; Frydl, Josef; Haverkamp, Michaela; Ivankovic, Mladen; Konrad, Heino; Koziol, Czeslaw; Maaten, Tiit; Notivol Paino, Eduardo; Ozturk, Hikmet; Pandeva, Ivanova Denitsa; Parnuta, Gheorghe; Pilipovic, Andrej; Postolache, Dragos; Ryan, Cathal; Steffenrem, Arne; Varela, Maria Carolina; Vessella, Federico; Volosyanchuk, Roman T.; Westergren, Marjana; Wolter, Frank; Yrjana, Leena; Zarina, Inga

Foundations of instance level updates in expressive description logics

artificial intelligence review

IF4.6

2011-12-01

PREAI

Liu, Hongkai; Lutz, Carsten; Milicic, Maja; Wolter, Frank

Logic-based ontology comparison and module extraction, with an application to DL-Lite

artificial intelligence review

IF4.6

2010-10-01

OAAI

Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael