Monografie
Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference ; proceedings
- Language
-
Englisch
- Extent
-
XII, 608 S.
- ISBN
-
978-3-540-40494-1
- Identifier
-
967962692
- Series
-
Lecture notes in computer science; Vol. 2711 : Lecture notes in artificial intelligence
- Subject
-
Unsicherheit ; Inferenz ; Unsicheres Schließen ; Konferenzschrift Ålborg; Kongress Ålborg <2003>
- Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:30 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
Other Objects (12)
Symbolic and quantitative approaches to reasoning and uncertainty : 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
Symbolic and quantitative approaches to reasoning with uncertainty : 12th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 11th European conference ; proceedings
Neural-symbolic cognitive reasoning
Propositional, probabilistic and evidential reasoning : integrating numerical and symbolic approaches ; with 35 tables
Foundations of reasoning under uncertainty
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Bounded reasoning and higher-order uncertainty
Explainable methods for knowledge graph refinement and exploration via symbolic reasoning
Symbolic and quantitative approaches to reasoning and uncertainty : 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
Symbolic and quantitative approaches to reasoning with uncertainty : 12th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 11th European conference ; proceedings
Neural-symbolic cognitive reasoning
Propositional, probabilistic and evidential reasoning : integrating numerical and symbolic approaches ; with 35 tables
Foundations of reasoning under uncertainty
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Bounded reasoning and higher-order uncertainty
Explainable methods for knowledge graph refinement and exploration via symbolic reasoning
Symbolic and quantitative approaches to reasoning and uncertainty : 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
Symbolic and quantitative approaches to reasoning with uncertainty : 12th European conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 11th European conference ; proceedings
Neural-symbolic cognitive reasoning
Propositional, probabilistic and evidential reasoning : integrating numerical and symbolic approaches ; with 35 tables
Foundations of reasoning under uncertainty
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Bounded reasoning and higher-order uncertainty