Suchergebnisse für 'reasoning'

5 Kurse gefunden

Foundations of Linked Data 2023
Schloss1
Prof. Dr. Andreas Harth
Vorlesung
IdM-Anmeldung
... architecture and knowledge representation, including algorithms for query evaluation and deductive reasoning ...
Nonclassical Logics in Computer Science 2015/2016
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
Frei
... particular Modal logics, extended to formalisms for reasoning ...
Monad-Based Programming 2015
Schloss1
Dr. Sergey Goncharov
Vorlesung
Frei
functional, monads, programming, haskell, equational, reasoning
Artificial Intelligence I 2018/2019
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
Vorlesung
Frei
... The companion course KI-2 will cover reasoning under uncertainty and machine learning. ...
Artificial Intelligence II 2018
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
Vorlesung
Frei
... font-family:">This course covers the foundations of Artificial Intelligence (AI), in particular reasoning ...

33 Clips gefunden

15-How to grow a mind: Statistics, structure, and abstraction presented by Christopher Kraus 2021
Maier_1400_thumb.png
IdM-Anmeldung
Sonstiges
2021-07-05
... questions about the nature and origins of human thought: How does abstract knowledge guide learning and reasoning ...
28-Beyond the Patterns - Petar Veličković - Geometric Deep Learning 2020/2021
Maier_1400_thumb.png
Frei
universitäre Vorlesung
2021-04-28
... that operate on nontrivially structured data (such as graphs), and their applications in algorithmic reasoning ...
11-Recap Clip 3.11: Basic Probabilistic Reasoning Methods 2021
Kohlhase-1400_thumb.png
Frei
universitäre Vorlesung
2021-03-30
... <p>Recap: Basic Probabilistic Reasoning Methods</p> <p>Main ...
15-Beyond the Patterns - Gary Marcus - The Next Decade in AI 2020/2021
Maier_1400_thumb.png
Frei
universitäre Vorlesung
2021-02-20
... In contrast, I propose a hybrid, knowledge-driven, reasoning-based approach, centered around cognitive ...
11-Basic Probabilistic Reasoning Methods 2021
Kohlhase-1400_thumb.png
Frei
universitäre Vorlesung
2021-01-28
14-20.8. The Wumpus World Revisited 2021
Kohlhase-1400_thumb.png
Frei
universitäre Vorlesung
2021-01-28
... p>The probabilistic model for the Wumpus World and&nbsp;how to do a query and simple reasoning ...
26-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2016-02-02
... particular Modal logics, extended to formalisms for reasoning ...
25-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2016-01-26
... particular Modal logics, extended to formalisms for reasoning ...
24-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2016-01-25
... particular Modal logics, extended to formalisms for reasoning ...
23-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2016-01-19
... particular Modal logics, extended to formalisms for reasoning ...
22-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2016-01-18
... particular Modal logics, extended to formalisms for reasoning ...
21-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2016-01-11
... particular Modal logics, extended to formalisms for reasoning ...
20-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-12-22
... particular Modal logics, extended to formalisms for reasoning ...
19-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-12-21
... particular Modal logics, extended to formalisms for reasoning ...
18-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-12-15
... particular Modal logics, extended to formalisms for reasoning ...
17-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-12-14
... particular Modal logics, extended to formalisms for reasoning ...
16-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-12-07
... particular Modal logics, extended to formalisms for reasoning ...
15-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-12-01
... particular Modal logics, extended to formalisms for reasoning ...
14-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-11-30
... particular Modal logics, extended to formalisms for reasoning ...
13-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-11-24
... particular Modal logics, extended to formalisms for reasoning ...
12-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-11-23
... particular Modal logics, extended to formalisms for reasoning ...
11-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-11-17
... particular Modal logics, extended to formalisms for reasoning ...
10-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-11-16
... particular Modal logics, extended to formalisms for reasoning ...
9-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-11-10
... particular Modal logics, extended to formalisms for reasoning ...
8-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-11-09
... particular Modal logics, extended to formalisms for reasoning ...
7-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-11-03
... particular Modal logics, extended to formalisms for reasoning ...
6-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-11-02
... particular Modal logics, extended to formalisms for reasoning ...
5-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-10-27
... particular Modal logics, extended to formalisms for reasoning ...
4-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-10-26
... particular Modal logics, extended to formalisms for reasoning ...
3-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-10-20
... particular Modal logics, extended to formalisms for reasoning ...
2-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-10-19
... particular Modal logics, extended to formalisms for reasoning ...
1-Nonclassical Logics in Computer Science 2015/2016
Schroeder_1400_thumb.png
Frei
universitäre Vorlesung
2015-10-13
... particular Modal logics, extended to formalisms for reasoning ...
3-Eröffnungszeremonie des Internationalen Kollegs für Geisteswissenschaftliche Forschung: Music Performance I - Prof. Dr. Konrad Klek 2009
IKGF-1400_thumb.png
Frei
Antritts- / Abschiedsvorlesung, Eröffnungen
2009-07-23
functional, monads, programming, haskell, equational, reasoning