Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova. Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. In André Platzer, Geoff Sutcliffe, editors, Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. Volume 12699 of Lecture Notes in Computer Science, pages 291-308, Springer, 2021. [doi]

@inproceedings{AlrabbaaBBKK21,
  title = {Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures},
  author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova},
  year = {2021},
  doi = {10.1007/978-3-030-79876-5_17},
  url = {https://doi.org/10.1007/978-3-030-79876-5_17},
  researchr = {https://researchr.org/publication/AlrabbaaBBKK21},
  cites = {0},
  citedby = {0},
  pages = {291-308},
  booktitle = {Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
  editor = {André Platzer and Geoff Sutcliffe},
  volume = {12699},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-79876-5},
}