- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7462
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A formal proof and simple explanation of the QuickXplain algorithm ; day:7 ; month:4 ; year:2022 ; pages:1-22
Artificial intelligence review ; (7.4.2022), 1-22
- Creator
-
Rodler, Patrick
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10462-022-10149-w
- URN
-
urn:nbn:de:101:1-2022062508313832791647
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Rodler, Patrick
- SpringerLink (Online service)
Other Objects (12)
User-adaptive proof explanation
User-adaptive proof explanation
Simpler Syntax and explanation
Formal framework for proof generating optimizers
The Forecast Combination Puzzle: A Simple Theoretical Explanation
On a simple proof of Lambert's theorem.
A simple proof for Imnang’s algorithms
A SIMPLE PROOF OF KASPAROV'S TECHNICAL THEOREM
Formal and Natural Proof : a phenomenological approach
The explanation game: a formal framework for interpretable machine learning
Simple program schemes and formal languages
A Simple Proof and Refinement of Wielandt's Eigenvalue Inequality
User-adaptive proof explanation
User-adaptive proof explanation
Simpler Syntax and explanation
Formal framework for proof generating optimizers
The Forecast Combination Puzzle: A Simple Theoretical Explanation
On a simple proof of Lambert's theorem.
A simple proof for Imnang’s algorithms
A SIMPLE PROOF OF KASPAROV'S TECHNICAL THEOREM
Formal and Natural Proof : a phenomenological approach
The explanation game: a formal framework for interpretable machine learning
Simple program schemes and formal languages
A Simple Proof and Refinement of Wielandt's Eigenvalue Inequality
User-adaptive proof explanation
User-adaptive proof explanation
Simpler Syntax and explanation
Formal framework for proof generating optimizers
The Forecast Combination Puzzle: A Simple Theoretical Explanation
On a simple proof of Lambert's theorem.
A simple proof for Imnang’s algorithms
A SIMPLE PROOF OF KASPAROV'S TECHNICAL THEOREM
Formal and Natural Proof : a phenomenological approach
The explanation game: a formal framework for interpretable machine learning
Simple program schemes and formal languages