Explaining with reasons: from Aristotle to machine learning classifiers
From MaRDI portal
Cites work
- (Conceptual) explanations in logic
- A Critical Overview of the Most Recent Logics of Grounding
- A logic of ``black box classifier systems
- A unified logical framework for explanations in classifier systems
- Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3--5, 2019. Proceedings
- Deep inference and symmetry in classical proofs
- Explanation in metaphysics and Bolzano's theory of ground and consequence
- Formal explanations as logical derivations
- Grounding and propositional identity
- Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies
- scientific article; zbMATH DE number 949290 (Why is no real title available?)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Mathematical explanations: an analysis via formal proofs and conceptual complexity
- Mathematics and Explanation
- On constructing a logic for the notion of complete and immediate formal grounding
- On Cores and Prime Implicants of Truth Functions
- On defining the notion of complete and immediate formal grounding
- On the (complete) reasons behind decisions
- On the proof complexity of deep inference
This page was built for publication: Explaining with reasons: from Aristotle to machine learning classifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6873539)
