Justification logic, inference tracking, and data privacy

zbMATH Open1283.03037MaRDI QIDQ4904077FDOQ4904077

Authors: Thomas Studer 

Publication date: 28 January 2013

Recommendations

• Justified terminological reasoning
• Justification logic. Reasoning with reasons
• Justification logic and history based computation
• scientific article; zbMATH DE number 6389528
• Partial realization in dynamic justification logic

zbMATH Keywords

data privacyjustification logicinternalizationknowledge tracking

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cited In (3)

• The logic of uncertain justifications
• Distributed knowledge justification logics
• Tracking reasons with extensions of relevant logics

This page was built for publication: Justification logic, inference tracking, and data privacy

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