Patrick Koopmann
发表
Patrick Koopmann,
P. Koopmann,
2015
.
Patrick Koopmann,
Renate A. Schmidt,
P. Koopmann,
2015,
Description Logics.
Franz Baader,
Anni-Yasmin Turhan,
Patrick Koopmann,
2017,
Description Logics.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2017,
Description Logics.
Anni-Yasmin Turhan,
Patrick Koopmann,
Camille Bourgaux,
2019,
Semantic Web.
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
pdf
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2020,
LPAR.
Patrick Koopmann,
Jieying Chen,
2017
.
Patrick Koopmann,
Renate A. Schmidt,
Sophie Tourret,
2020,
KR.
Cesare Tinelli,
Franz Baader,
Patrick Koopmann,
2020,
Description Logics.
Patrick Koopmann,
Jieying Chen,
P. Koopmann,
2020,
IJCAI.
Patrick Koopmann,
Renate A. Schmidt,
P. Koopmann,
2013,
FroCos.
Patrick Koopmann,
Renate A. Schmidt,
2014,
IJCAR.
Patrick Koopmann,
P. Koopmann,
2019,
Description Logics.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2020,
Description Logics.
Patrick Koopmann,
Jieying Chen,
2020,
Description Logics.
Patrick Koopmann,
Nadeschda Nikitina,
2017,
AAAI.
Franz Baader,
Anni-Yasmin Turhan,
Patrick Koopmann,
2020,
KI - Künstliche Intelligenz.
Anni-Yasmin Turhan,
Patrick Koopmann,
Marcus Hähnel,
2017,
JIST.
Patrick Koopmann,
Renate A. Schmidt,
P. Koopmann,
2013,
WoMO.
Franz Baader,
Anni-Yasmin Turhan,
Patrick Koopmann,
2017,
FroCoS.
Patrick Koopmann,
P. Koopmann,
2019,
Description Logics.
Patrick Koopmann,
Jieying Chen,
2017,
SOQE.
Patrick Koopmann,
Renate A. Schmidt,
P. Koopmann,
2014,
AAAI.
Patrick Koopmann,
Renate A. Schmidt,
P. Koopmann,
2015,
ORE.
Anni-Yasmin Turhan,
Patrick Koopmann,
Clemens Dubslaff,
2020,
Description Logics.
Patrick Koopmann,
P. Koopmann,
2020,
KI - Künstliche Intelligenz.
Franz Baader,
Raimund Dachselt,
Patrick Koopmann,
2020,
Description Logics.
Patrick Koopmann,
Renate A. Schmidt,
P. Koopmann,
2013,
LPAR.
Anni-Yasmin Turhan,
Patrick Koopmann,
Clemens Dubslaff,
2019,
IFM.
Patrick Koopmann,
Renate A. Schmidt,
P. Koopmann,
2014,
Description Logics.
Danh Le Phuoc,
Patrick Koopmann,
Theofilos Mailis,
2019,
Open J. Databases.
Anni-Yasmin Turhan,
Patrick Koopmann,
Christian Alrabbaa,
2019,
GCAI.
Christoph Weidenbach,
Patrick Koopmann,
Sophie Tourret,
2020,
Description Logics.
Bijan Parsia,
Giorgos Stoilos,
Birte Glimm,
2015
.
Patrick Koopmann,
Nadeschda Nikitina,
2016,
Description Logics.
Patrick Koopmann,
David Carral,
Larry González,
2019,
Description Logics.
Patrick Koopmann,
2018,
DKB/KIK@KI.
Patrick Koopmann,
Bernd Neumann,
Lothar Hotz,
2011,
ICVS.
Patrick Koopmann,
Renate A. Schmidt,
Sophie Tourret,
2020,
ArXiv.
Patrick Koopmann,
2021,
SOQE@KR.
Rafael Peñaloza,
Franz Baader,
Patrick Koopmann,
2021,
Description Logics.
Patrick Koopmann,
Sophie Tourret,
Fajar Haifani,
2021,
SOQE@KR.
Franz Baader,
Anni-Yasmin Turhan,
Patrick Koopmann,
2021,
Theory Pract. Log. Program..
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2021,
Description Logics.
Patrick Koopmann,
2021,
Description Logics.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2021,
CADE.
Anni-Yasmin Turhan,
Patrick Koopmann,
Clemens Dubslaff,
2021,
Formal Aspects of Computing.
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)
pdf
Patrick Koopmann,
2021,
IJCAI.
Franz Baader,
Patrick Koopmann,
Francesco Kriegel,
2021,
CADE.
Franz Baader,
Anni-Yasmin Turhan,
Patrick Koopmann,
2017
.
Patrick Koopmann,
P. Koopmann,
2018
.
Patrick Koopmann,
Bernd Neumann,
Wilfried Bohlken,
2011
.
Patrick Koopmann,
Renate A. Schmidt,
P. Koopmann,
2014
.