Propositional Reasoning, Part I: Principles 11.13 - Killing a Wumpus with Propositional Inference/ClipID:23713 vorhergehender Clip nächster Clip

Die automatischen Untertitel, die mit Whisper Open AI in diesem Video-Player (und im Multistream-Video-Player) generiert werden, dienen der Bequemlichkeit und Barrierefreiheit. Es ist jedoch zu beachten, dass die Genauigkeit und Interpretation variieren können. Für mehr Informationen lesen Sie bitte die FAQs (Absatz 14)
Aufnahme Datum 2020-11-13
Video Multistream Player CC Clip iFrame Code

Kurs-Verknüpfung

Artificial Intelligence (AI-1) WS 2020

Lehrende(r)

Prof. Dr. Michael Kohlhase

Zugang

Frei

Sprache

Englisch

Einrichtung

Professur für Wissensrepräsentation und -verarbeitung

Produzent

Friedrich-Alexander-Universität Erlangen-Nürnberg

Format

Vorlesung

Kontext

Ringvorlesung

Typ

universitäre Vorlesung

Solving the Wumpus problem with resolution. 

Nächstes Video in Kapitel

Propositional Reasoning, Part I: Principles 11.14 - Conclusion
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-11-26
Frei
Propositional Reasoning: SAT Solvers 12.1 - Introduction
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-11-26
Frei
Propositional Reasoning: SAT Solvers 12.2 - The Davis-Putnam (Logemann-Loveland) Procedure
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-11-26
Frei
Propositional Reasoning: SAT Solvers 12.3 - DPLL = (A Restricted Form of) Resolution
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-21
Frei
Propositional Reasoning: SAT Solvers 12.4 - Clause Learning
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-21
Frei

Mehr Videos aus der Kategorie "Technische Fakultät"

20 - Algorithmen und Datenstrukturen (für Medizintechnik)
2024-12-19
Studon
geschützte Daten  
20 - Grundlagen der Elektrotechnik I
2024-12-18
IdM-Anmeldung
geschützte Daten  
19 - Data Science Survival Skills
2024-12-19
Studon
geschützte Daten  
13 - Lecture 12 - Computational Fluid Dynamics 1 (CFD1)
2024-12-18
IdM-Anmeldung
geschützte Daten  
19 - Artificial Intelligence I
2024-12-18
Frei
freie Daten  
19 - Grundlagen der Elektrotechnik I
2024-12-17
IdM-Anmeldung
geschützte Daten