Automated Theorem Proving in First-Order Logic 14.2 - Free Variable Tableaux/ClipID:26797 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-12-17
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

Explanation of the Free Variable Tableaux using some examples. 

Nächstes Video in Kapitel

Automated Theorem Proving in First-Order Logic 14.3 - First-Order Unification (Part 1)
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-18
Frei
Automated Theorem Proving in First-Order Logic 14.4 - First-Order Unification (Part 2)
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-18
Frei
Automated Theorem Proving in First-Order Logic 14.5 - First-Order Resolution (Examples)
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-18
Frei
Automated Theorem Proving in First-Order Logic 14.6 - Logic Programming as Resolution Theorem Proving
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-18
Frei
Knowledge Representation and the Semantic Web 15.1 - Introduction to Knowledge Representation
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-30
Frei

Mehr Videos aus der Kategorie "Technische Fakultät"

1 - Scientific Visualization
2024-04-17
IdM-Anmeldung
geschützte Daten  
1 - Einführung in Datenbanken
2024-04-17
Studon
geschützte Daten  
1 - Cyber-physical Systems (Vorlesung), Wintersemester
2024-04-16
Studon
geschützte Daten  
2 - Cyber-physical Systems (Vorlesung), Wintersemester
2024-04-16
Studon
geschützte Daten  
1 - Umformtechnik
2024-04-17
Studon
geschützte Daten  
1 - Theorie der Programmierung
2024-04-15
IdM-Anmeldung
geschützte Daten