Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)

DOI10.1007/978-3-030-29026-9_3zbMath1435.68312OpenAlexW2969415202MaRDI QIDQ2180505

Ivan Varzinczak, Katarina Britz

Publication date: 14 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29026-9_3

zbMATH Keywords

tableauxcontextsdescription logicsdefeasible reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Unnamed Item ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \)

This page was built for publication: Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)