Justified terminological reasoning

DOI10.1007/978-3-642-29709-0_30MaRDI QIDQ3457986zbMATH OpenOpenAlexFDO

Authors 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

data privacydescription logicgeneration of natural-language explanationsinference trackingjustification logic

Mathematics Subject Classification ID

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

Recommendations

• Logics of proofs and justifications
• Justification logics, logics of knowledge, and conservativity
• Introducing Justification into Epistemic Logic
• Reasoning with Justifications
• Partial realization in dynamic justification logic

Cited in

(4)

• Terminological reasoning is inherently intractable
• Justification logic and history based computation
• scientific article; zbMATH DE number 847979 (Why is no real title available?)
• Justification logic, inference tracking, and data privacy

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)