Old Web
English
Sign In
Acemap
>
Paper
>
Finding Small Proofs for Description Logic Entailments: Theory and Practice
Finding Small Proofs for Description Logic Entailments: Theory and Practice
2020
Christian Alrabbaa
Franz Baader
Stefan Borgwardt
Patrick Koopmann
Alisa Kovtunova
Keywords:
Description logic
Calculus
Mathematical proof
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
10
Citations
NaN
KQI
[]