Knowledge Representation and the Semantic Web 15.10 - Inference for ALC (Part 2)/ClipID:27302 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 2021-01-02
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

Termination and complexity for the Tableau Calculus are discussed. Explanation of the functional algorithm for ALC and the Non-Termination of T_ALC with Concept Axioms.

Nächstes Video in Kapitel

Knowledge Representation and the Semantic Web 15.11 - ABoxes, Instance Testing, and ALC
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2021-01-02
Frei
Knowledge Representation and the Semantic Web 15.12 - 15.4 Description Logics and the Semantic Web
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-31
Frei
Planning I: Framework 16.1 - Planning: Introduction
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-19
Frei
Planning I: Framework 16.2 - Planning History
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-19
Frei
Planning I: Framework 16.3 - The STRIPS Planning Formalism
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-12-19
Frei

Mehr Videos aus der Kategorie "Technische Fakultät"

19 - Grundlagen der Elektrotechnik I
2024-12-17
IdM-Anmeldung
geschützte Daten  
19 - Grundlagen der Elektrotechnik I
2024-12-16
Passwort / Studon
geschützte Daten  
19 - Algorithmen und Datenstrukturen (für Medizintechnik)
2024-12-16
Studon
geschützte Daten  
10 - Produktionssystematik
2024-12-16
Studon
geschützte Daten  
8 - Übung Halbleitertechnik II - CMOS Technik (HL II) WS2024/2025
2024-12-16
IdM-Anmeldung
geschützte Daten  
12 - Lecture 11 - Computational Fluid Dynamics 1 (CFD1)
2024-12-16
IdM-Anmeldung
geschützte Daten