C. Alrabbaa
发表
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
pdf
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2020,
LPAR.
P. Koopmann,
Stefan Borgwardt,
Alisa Kovtunova,
2022,
RuleML+RR.
P. Koopmann,
Stefan Borgwardt,
Alisa Kovtunova,
2022,
Description Logics.
P. Koopmann,
Stefan Borgwardt,
Christian Alrabbaa,
2022,
Description Logics.
F. Baader,
P. Koopmann,
Raimund Dachselt,
2022,
IJCAR.
F. Baader,
P. Koopmann,
Stefan Borgwardt,
2021,
CADE.
Anni-Yasmin Turhan,
Patrick Koopmann,
Christian Alrabbaa,
2019,
GCAI.
Sebastian Rudolph,
Christian Alrabbaa,
Lukas Schweizer,
2018,
RuleML+RR.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2021,
Description Logics.
Anni-Yasmin Turhan,
Christian Alrabbaa,
Willi Hieke,
2021,
FCR@KI.
P. Koopmann,
S. Borgwardt,
Christian Alrabbaa,
2020
.
Franz Baader,
Raimund Dachselt,
Patrick Koopmann,
2020,
Description Logics.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2020,
Description Logics.
F. Baader,
P. Koopmann,
R. Dachselt,
2023,
Computer Graphics Forum.
Anna Milena Rothermel,
Stefan Borgwardt,
Alisa Kovtunova,
2021,
Description Logics.
Ricardo Langner,
Raimund Dachselt,
Christian Alrabbaa,
2020,
VOILA@ISWC.