Monografie
Explainable methods for knowledge graph refinement and exploration via symbolic reasoning
- Sprache
-
Englisch
- Identifier
-
1239645341
Beteiligte Personen und Organisationen
Gad-Elrab, Mohamed Hassan Mohamed
- DOI
-
10.22028/D291-34423
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 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.
Objekttyp
- Monografie
Beteiligte
- Gad-Elrab, Mohamed Hassan Mohamed
Ähnliche Objekte (12)
Neural-symbolic cognitive reasoning
Abstraction refinement with craig interpolation and symbolic pushdown systems
An abstraction-refinement methodology for reasoning about network games
A data-driven explainable case-based reasoning approach for financial risk detection
An approximation and refinement approach to first-order automated reasoning
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 10th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference ; proceedings
Neural-symbolic cognitive reasoning
Abstraction refinement with craig interpolation and symbolic pushdown systems
An abstraction-refinement methodology for reasoning about network games
A data-driven explainable case-based reasoning approach for financial risk detection
An approximation and refinement approach to first-order automated reasoning
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 10th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference ; proceedings
Neural-symbolic cognitive reasoning
Abstraction refinement with craig interpolation and symbolic pushdown systems
An abstraction-refinement methodology for reasoning about network games
A data-driven explainable case-based reasoning approach for financial risk detection
An approximation and refinement approach to first-order automated reasoning
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolic and quantitative approaches to reasoning and uncertainty : European conference ; proceedings
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 10th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference ; proceedings