KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Signature-Based Abduction for Expressive Description Logics

  1. Patrick Koopmann(Institute for Theoretical Computer Science, Technische Universitãt Dresden, Germany)
  2. Warren Del-Pinto(Department of Computer Science, The University of Manchester, United Kingdom)
  3. Sophie Tourret(Automation of Logic Group, Max Planck Institut Informatik, Germany)
  4. Renate A. Schmidt(Department of Computer Science, The University of Manchester, United Kingdom)

Bibtex record

@inproceedings{KR2020-59,
    title     = {{Signature-Based Abduction for Expressive Description Logics}},
    author    = {Koopmann, Patrick and Del-Pinto, Warren and Tourret, Sophie and Schmidt, Renate A.},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {592--602},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/59},
    url       = {https://doi.org/10.24963/kr.2020/59},
  }
Go back