Explainable methods for knowledge graph refinement and exploration via symbolic reasoning
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2021
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2021
- Creator
-
Gad-Elrab, Mohamed Hassan Mohamed
- DOI
-
10.22028/D291-34423
- URN
-
urn:nbn:de:bsz:291--ds-344237
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
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
- Gad-Elrab, Mohamed Hassan Mohamed
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2021
Other Objects (12)
Explainable Case-Based Reasoning: Rapid Prototyping of Domain Independent Explainable Case-Based Reasoning Applications
Neural-symbolic cognitive reasoning
Abstraction refinement with craig interpolation and symbolic pushdown systems
An abstraction-refinement methodology for reasoning about network games
Symbolic and quantitative approaches to reasoning and uncertainty : proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
An approximation and refinement approach to first-order automated reasoning
A data-driven explainable case-based reasoning approach for financial risk detection
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings
Explainable ML
Explainable Case-Based Reasoning: Rapid Prototyping of Domain Independent Explainable Case-Based Reasoning Applications
Neural-symbolic cognitive reasoning
Abstraction refinement with craig interpolation and symbolic pushdown systems
An abstraction-refinement methodology for reasoning about network games
Symbolic and quantitative approaches to reasoning and uncertainty : proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
An approximation and refinement approach to first-order automated reasoning
A data-driven explainable case-based reasoning approach for financial risk detection
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings
Explainable ML
Explainable Case-Based Reasoning: Rapid Prototyping of Domain Independent Explainable Case-Based Reasoning Applications
Neural-symbolic cognitive reasoning
Abstraction refinement with craig interpolation and symbolic pushdown systems
An abstraction-refinement methodology for reasoning about network games
Symbolic and quantitative approaches to reasoning and uncertainty : proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
An approximation and refinement approach to first-order automated reasoning
A data-driven explainable case-based reasoning approach for financial risk detection
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings