@inbook{426,
  keywords = {Knowledge representation and reasoning, Defeasible reasoning, KLM approach, Rational closure, Relevant Closure, Lexicographic Closure, explanations},
  author = {Lloyd Everett and Emily Morris and Tommie Meyer},
  title = {Explanation for KLM-Style Defeasible Reasoning},
  abstract = {Explanation services are a crucial aspect of symbolic reasoning systems but they have not been explored in detail for defeasible formalisms such as KLM. We evaluate prior work on the topic with a focus on KLM propositional logic and find that a form of defeasible explanation initially described for Rational Closure which we term weak justification can be adapted to Relevant and Lexicographic Closure as well as described in terms of intuitive properties derived from the KLM postulates. We also consider how a more general definition of defeasible explanation known as strong explanation applies to KLM and propose an algorithm that enumerates these justifications for Rational Closure.},
  year = {2022},
  journal = {Artificial Intelligence Research. SACAIR 2021.},
  edition = {1551},
  publisher = {Springer},
  address = {Cham},
  isbn = {978-3-030-95069-9},
  url = {https://link.springer.com/book/10.1007/978-3-030-95070-5},
  doi = {10.1007/978-3-030-95070-5_13},
}