Principles of KLM-style Defeasible Description Logics

Katarina Britz*, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Article number1
Number of pages46
JournalAcm Transactions on Computational Logic
Volume22
Issue number1
DOIs
Publication statusPublished - Jan 2021

Keywords

  • Non-monotonic reasoning
  • defeasible subsumption
  • preferential semantics
  • rational closure
  • NONMONOTONIC DESCRIPTION LOGIC
  • RATIONAL CLOSURE
  • COMPLEXITY

Cite this