Alisa Kovtunova
发表
Vera Demberg,
Stefan Borgwardt,
Marcel Steinmetz,
2020,
ArXiv.
Rafael Peñaloza,
Alisa Kovtunova,
2018,
KR.
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
pdf
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2020,
LPAR.
Rafael Peñaloza,
Alisa Kovtunova,
R. Peñaloza,
2018,
Description Logics.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2014,
Description Logics.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2020,
Description Logics.
Stefan Borgwardt,
Frederik Wiehr,
Anke Hirsch,
2020,
Description Logics.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2020,
Artif. Intell..
Walter Forkel,
Alisa Kovtunova,
Stefan Borgwardt,
2020,
Description Logics.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2017,
TIME.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2015,
IJCAI.
Marco Montali,
Wil M. P. van der Aalst,
Alessandro Artale,
2019,
BPM.
Antonio Krüger,
Stefan Borgwardt,
Vera Demberg,
2021,
ICMI.
Walter Forkel,
Stefan Borgwardt,
Alisa Kovtunova,
2021,
Theory Pract. Log. Program..
Stefan Borgwardt,
Marcel Steinmetz,
Alisa Kovtunova,
2021,
Description Logics.
Stefan Borgwardt,
Frederik Wiehr,
Alisa Kovtunova,
2021,
Description Logics.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2021,
ArXiv.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2021,
Description Logics.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2021,
CADE.
Stefan Borgwardt,
Vera Demberg,
Alisa Kovtunova,
2021,
Description Logics.