Reasoning on \textit{DL-Lite}_\mathcal{R} with Defeasibility in ASP

DOI10.1007/978-3-030-31095-0_2MaRDI QIDQ6488955FDOQ6488955

Authors: Loris Bozzato, Thomas Eiter, Luciano Serafini 

Publication date: 14 March 2024

Recommendations

• Reasoning on with Defeasibility in ASP
• Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
• A KLM perspective on defeasible reasoning for description logics
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (1)

• Reasoning on with Defeasibility in ASP

This page was built for publication: Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488955)