- Language
-
Englisch
- Extent
-
XIII, 197 S.
- ISBN
-
978-3-540-73245-7
- Identifier
-
984419179
- Series
-
Cognitive technologies
- Subject
-
Neuronales Netz ; Symbolverarbeitung ; Konnektionistisches Netz ; Nichtklassische Logik ; Maschinelles Lernen ; Inferenz
- Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:37 PM 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.
Object type
- Monografie
Associated
- D'Avila Garcez, Artur S.
- Lamb, Luís C.
- Gabbay, Dov M.
Other Objects (12)
Neural-symbolic integration
Cognitive reasoning : a formal approach
A Neural-Symbolic Framework for Mental Simulation
Neural symbolic learning systems : foundations and applications
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Cognitive Reasoning for Compliant Robot Manipulation
Explainable methods for knowledge graph refinement and exploration via symbolic reasoning
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
Neural-symbolic integration
Cognitive reasoning : a formal approach
A Neural-Symbolic Framework for Mental Simulation
Neural symbolic learning systems : foundations and applications
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Cognitive Reasoning for Compliant Robot Manipulation
Explainable methods for knowledge graph refinement and exploration via symbolic reasoning
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
Neural-symbolic integration
Cognitive reasoning : a formal approach
A Neural-Symbolic Framework for Mental Simulation
Neural symbolic learning systems : foundations and applications
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Cognitive Reasoning for Compliant Robot Manipulation
Explainable methods for knowledge graph refinement and exploration via symbolic reasoning
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