Meyer, Thomas Andreas

Top Publications

Top Publications Authored or Co-Authored by "Meyer, Thomas Andreas"

• On the link between partial meet, kernel, and infra contraction and its application to horn logic

  Journal of Artificial Intelligence Research, Volume 42, Year 2011, Citations 37
• A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure

  Information Sciences, Volume 501, Year 2019, Citations 35
• Refined epistemic entrenchment

  Journal of Logic, Language and Information, Volume 9, No. 2, Year 2000, Citations 32
• Principles of KLM-style Defeasible Description Logics

  ACM Transactions on Computational Logic, Volume 22, No. 1, Article 1, Year 2021, Citations 26
• Iterated belief change and the recovery axiom

  Journal of Philosophical Logic, Volume 37, No. 5, Year 2008, Citations 25