E-LIB Suche - Ergebnisse für: Wolter, Frank

1

Assessing tourist willingness to pay for excursions on envi..:

Wahnschafft, Ralph ; Wolter, Frank
Research in Transportation Business & Management. 48 (2023) - p. 100826 , 2023

2

Living without Beth and Craig: Definitions and Interpolants..:

Artale, Alessandro ; Jung, Jean Christoph ; Mazzullo, Andrea..
ACM Transactions on Computational Logic. 24 (2023) 4 - p. 1-51 , 2023

Link: https://doi.org/10.1145/..

3

Logical separability of labeled data examples under ontolog..:

Jung, Jean Christoph ; Lutz, Carsten ; Pulcini, Hadrien.
Artificial Intelligence. 313 (2022) - p. 103785 , 2022

Link: https://doi.org/10.1016/..

4

Living without beth and craig : definitions and interpol..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Jung, Jean Christoph ; Wolter, Frank - p. 1-14 , 2021

Link: https://dl.acm.org/doi/1..

5

First-order rewritability of ontology-mediated queries in l..:

Artale, Alessandro ; Kontchakov, Roman ; Kovtunova, Alisa...
Artificial Intelligence. 299 (2021) - p. 103536 , 2021

Link: https://doi.org/10.1016/..

6

A journey into ontology approximation

, In: DL 2020: Description Logics 2020 / edited by Stefan Borgwardt (TU Dresden, Germany), Thomas Meyer (CAIR and University of Cape Town, South Africa)

from non-horn to horn (abstract)?

Haga, Anneke ; Marti, Johannes ; Wolter, Frank.. (2020) - p. 1-3

Link: http://ceur-ws.org/Vol-2..

7

Living without beth and craig

, In: DL 2020: Description Logics 2020 / edited by Stefan Borgwardt (TU Dresden, Germany), Thomas Meyer (CAIR and University of Cape Town, South Africa)

explicit definitions and interpolants in description logics...

Artale, Alessandro ; Mazzullo, Andrea ; Wolter, Frank... (2020)

Link: http://ceur-ws.org/Vol-2..

8

Separating positive and negative data examples by concepts ..

, In: DL 2020: Description Logics 2020 / edited by Stefan Borgwardt (TU Dresden, Germany), Thomas Meyer (CAIR and University of Cape Town, South Africa)

the case of restricted signatures (abstract)

Jung, Jean Christoph ; Pulcini, Hadrien ; Wolter, Frank.. (2020)

Link: http://ceur-ws.org/Vol-2..

9

A comparative study of oxidized spacer trench and micro-pat..:

, In: 2020 32nd International Symposium on Power Semiconductor Devices and ICs (ISPSD),

Philippou, Alexander ; Baburske, Roman ; Arnold, Thorsten... - p. 459-461 , 2020

Link: https://doi.org/10.1109/..

10

Dichotomies in Ontology-Mediated Querying with the Guarded ..:

Hernich, André ; Lutz, Carsten ; Papacchini, Fabio.
ACM Transactions on Computational Logic. 21 (2020) 3 - p. 1-47 , 2020

Link: https://doi.org/10.1145/..

11

Dichotomies in Ontology-Mediated Querying with the Guarded ..:

Hernich, André ; Lutz, Carsten ; Papacchini, Fabio.
ACM Transactions on Computational Logic (TOCL). 21 (2020) 3 - p. 1-47 , 2020

Link: https://dl.acm.org/doi/1..

12

A tour of Franz Baader’s contributions to knowledge represe..:

Lutz, Carsten ; Tinelli, Cesare ; Turhan, Anni-Yasmin ; Wolter, Frank.. (2019) - p. 1-14

Link: https://doi.org/10.1007/..

13

Preface:

Lutz, Carsten ; Tinelli, Cesare ; Turhan, Anni-Yasmin ; Wolter, Frank.. (2019)

Link: https://link.springer.co..

14

Model comparison games for Horn description logics

, In: DL 2019, International Workshop on Description Logics / edited by Mantas Šimkus (TU Wien, Austria), Grant Weddell (Grant Weddell)

a summary?

Jung, Jean Christoph ; Papacchini, Fabio ; Wolter, Frank ; Zakharyaschev, Michael. (2019)

Link: http://ceur-ws.org/Vol-2..

15

Learning description logic concepts

, In: DL 2019, International Workshop on Description Logics / edited by Mantas Šimkus (TU Wien, Austria), Grant Weddell (Grant Weddell)

When can positive and negative examples be separated? : (ab...

Funk, Maurice ; Pulcini, Hadrien ; Wolter, Frank... (2019)

Link: http://ceur-ws.org/Vol-2..