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
-
14.08.2025, 11:01 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
- Gad-Elrab, Mohamed Hassan Mohamed
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2021
Other Objects (12)
Neural-symbolic cognitive reasoning
Explainable Case-Based Reasoning: Rapid Prototyping of Domain Independent Explainable Case-Based Reasoning Applications
Abstraction refinement with craig interpolation and symbolic pushdown systems
Scientific Exploration and Explainable Artificial Intelligence
Symbolic and quantitative approaches to reasoning and uncertainty : proceedings
Visual and Symbolic Representations as Components of Algebraic Reasoning
An abstraction-refinement methodology for reasoning about network games
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
autoBOT: evolving neuro-symbolic representations for explainable low resource text classification
An approximation and refinement approach to first-order automated reasoning
Interactive visual exploration and refinement of cluster assignments
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Neural-symbolic cognitive reasoning
Explainable Case-Based Reasoning: Rapid Prototyping of Domain Independent Explainable Case-Based Reasoning Applications
Abstraction refinement with craig interpolation and symbolic pushdown systems
Scientific Exploration and Explainable Artificial Intelligence
Symbolic and quantitative approaches to reasoning and uncertainty : proceedings
Visual and Symbolic Representations as Components of Algebraic Reasoning
An abstraction-refinement methodology for reasoning about network games
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
autoBOT: evolving neuro-symbolic representations for explainable low resource text classification
An approximation and refinement approach to first-order automated reasoning
Interactive visual exploration and refinement of cluster assignments
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Neural-symbolic cognitive reasoning
Explainable Case-Based Reasoning: Rapid Prototyping of Domain Independent Explainable Case-Based Reasoning Applications
Abstraction refinement with craig interpolation and symbolic pushdown systems
Scientific Exploration and Explainable Artificial Intelligence
Symbolic and quantitative approaches to reasoning and uncertainty : proceedings
Visual and Symbolic Representations as Components of Algebraic Reasoning
An abstraction-refinement methodology for reasoning about network games
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
autoBOT: evolving neuro-symbolic representations for explainable low resource text classification
An approximation and refinement approach to first-order automated reasoning
Interactive visual exploration and refinement of cluster assignments