×

Found 5 Documents (Results 1–5)

Preferential tableaux for contextual defeasible \(\mathcal{ALC}\). (English) Zbl 1435.68312

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 39-57 (2019).
MSC:  68T27 68T30 68V15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field