Carsten Lutz - Publications, H-index & Citations

Carsten Lutz

Leipzig University

49H指数

303论文数

8.4K被引数

收录论文 7

发表时间

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

A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic eL

artificial intelligence review

IF4.6

2022-07-01

PREAI

Lutz, Carsten; Sabellek, Leif

Query inseparability for ALC ontologies

artificial intelligence review

IF4.6

2019-07-01

OAAI

Botoeva, Elena; Lutz, Carsten; 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

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

ε-connections of abstract description systems

artificial intelligence review

IF4.6

2004-06-01

119

OAAI

Kutz, O; Lutz, C; Wolter, F; Zakharyaschev, M

Combining interval-based temporal reasoning with general TBoxes

artificial intelligence review

IF4.6

2004-02-01

PREAI

Lutz, C

研究方向