Justified Terminological Reasoning

DOI10.1007/978-3-642-29709-0_30zbMATH Open1336.68245OpenAlexW1491807477MaRDI QIDQ3457986

Thomas Studer

Publication date: 7 December 2015

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29709-0_30

zbMATH Keywords

description logicdata privacyjustification logicgeneration of natural-language explanationsinference tracking

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (2)

Terminological reasoning is inherently intractable ⋮ Title not available (Why is that?)

This page was built for publication: Justified Terminological Reasoning

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