Explainable methods for knowledge graph refinement and exploration via symbolic reasoning
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2021
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2021
- Urheber
-
Gad-Elrab, Mohamed Hassan Mohamed
- DOI
-
10.22028/D291-34423
- URN
-
urn:nbn:de:bsz:291--ds-344237
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gad-Elrab, Mohamed Hassan Mohamed
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2021
Ähnliche Objekte (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