Old Web
English
Sign In
Acemap
>
Paper
>
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).
2021
Christian Alrabbaa
Franz Baader
Stefan Borgwardt
Patrick Koopmann
Alisa Kovtunova
Keywords:
quality
Theoretical computer science
Mathematical proof
Description logic
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]