Tuit catalog

Synthesis notes of video analyses, assessed and condensed, in French and English.

55,267 tuit · 964 channels · 42 domains · Last update: Nov 7, 2026
Granular Thema (1,942)
55267 tuit · page 1353/1382
Formal & Physical Sciences AI — Models & Research
EN

Resource Description Framework (RDF)

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
RDFSemantic WebKnowledge Representation
Formal & Physical Sciences AI — Models & Research
EN

English to CD Theory

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyNatural Language ProcessingKnowledge Representation
Formal & Physical Sciences Science — General & History
EN

L'infini

The infinite

David Louapre (ScienceEtonnante)
15 min
★ ★ ★ ★ ★ 5/5
InfinitySet TheoryCantor
Formal & Physical Sciences AI — Models & Research
EN

Top Down and Bottom Up Reasoning

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
PAMNatural Language UnderstandingTop-Down Reasoning
Formal & Physical Sciences AI — News & Applications
EN

Structure Matching - Example

Artificial Intelligence
27 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationStructure Matching
Formal & Physical Sciences AI — News & Applications
EN

Structure Matching

Artificial Intelligence (channel)
27 min
★ ★ ★ ★ ☆ 4/5
Description LogicsSubsumptionKnowledge Representation
Formal & Physical Sciences AI — Models & Research
EN

Semantic Nets and Frames

Artificial Intelligence
34 min
★ ★ ★ ★ ☆ 4/5
Semantic NetsFramesKnowledge Representation
Formal & Physical Sciences AI — News & Applications
EN

Search in Prolog

Artificial Intelligence
26 min
★ ★ ★ ★ ☆ 4/5
PrologDepth-First SearchRecursion
Formal & Physical Sciences Computing & Cybersecurity
EN

Scripts

Artificial Intelligence (channel)
32 min
★ ★ ★ ★ ☆ 4/5
ScriptsKnowledge RepresentationNatural Language Understanding
Formal & Physical Sciences AI — Models & Research
EN

Reification and Abstract Entities

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Knowledge RepresentationReificationAbstract Entities
Formal & Physical Sciences Computing & Cybersecurity
EN

Prolog

Artificial Intelligence (channel)
38 min
★ ★ ★ ★ ☆ 4/5
PrologLogic ProgrammingBackward Chaining
Formal & Physical Sciences AI — News & Applications
EN

Plan Applier Mechanism

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
PAMStory UnderstandingNatural Language Processing
Formal & Physical Sciences AI — Models & Research
EN

Normalisation

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationOntology
Formal & Physical Sciences AI — Models & Research
EN

Natural Language Semantics

Artificial Intelligence (channel)
31 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyNatural Language UnderstandingKnowledge Representation
Formal & Physical Sciences AI — News & Applications
EN

Logic Programming

Artificial Intelligence (channel)
33 min
★ ★ ★ ★ ☆ 4/5
Logic ProgrammingPrologBackward Chaining
Formal & Physical Sciences AI — News & Applications
EN

Introduction

Artificial Intelligence
43 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationArtificial Intelligence
Formal & Physical Sciences Mathematics
EN

Incompleteness

Artificial Intelligence
29 min
★ ★ ★ ★ ☆ 4/5
LogicResolutionCompleteness
Formal & Physical Sciences AI — News & Applications
EN

Goals, Plans and Actions

Artificial Intelligence (channel)
29 min
★ ★ ★ ★ ☆ 4/5
AINatural Language UnderstandingPlans
Formal & Physical Sciences Mathematics
EN

FOL with Equality

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicEqualityResolution
Formal & Physical Sciences AI — Models & Research
EN

DL: Extensions

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationSemantic Web
Formal & Physical Sciences AI — Models & Research
EN

DL: ALC

Artificial Intelligence (channel)
30 min
★ ★ ★ ★ ☆ 4/5
Description LogicALCTableau Method
Formal & Physical Sciences AI — News & Applications
EN

Controlling Search

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
PrologLogic ProgrammingCut
Formal & Physical Sciences AI — News & Applications
EN

Complexity of Resolution Refutation

Artificial Intelligence
40 min
★ ★ ★ ★ ☆ 4/5
ResolutionComplexityHorn Clauses
Formal & Physical Sciences Mathematics
EN

Clause Form

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
ResolutionFirst-Order LogicCompleteness
Formal & Physical Sciences AI — Models & Research
EN

Classification

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Description LogicsClassificationTaxonomy
Formal & Physical Sciences AI — Models & Research
EN

CD Theory (contd)

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyKnowledge RepresentationNatural Language Processing
Formal & Physical Sciences AI — News & Applications
EN

CD Theory

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyNatural Language ProcessingKnowledge Representation
Formal & Physical Sciences AI — Models & Research
EN

Backward Chaining

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Backward ChainingLogic ProgrammingProlog
Formal & Physical Sciences AI — News & Applications
EN

Applying Scripts

Artificial Intelligence
27 min
★ ★ ★ ★ ☆ 4/5
ScriptsSAMConceptual Dependency
Formal & Physical Sciences AI — Models & Research
EN

ALC examples

Artificial Intelligence (YouTube channel)
27 min
★ ★ ★ ★ ☆ 4/5
Description LogicTableau MethodALC
Formal & Physical Sciences AI — Models & Research
EN

A-box reasoning

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Description LogicsA-BoxReasoning
Applied Sciences & Engineering Engineering & Technology
EN

Moon Base Concepts

Isaac Arthur
34 min
★ ★ ★ ★ ☆ 4/5
Moon BaseLunar ColonizationSpace Infrastructure
Humanities, Social Sciences & Thought Law & Justice
EN

TTIP – Welcome address

Max Planck Institute Luxembourg for Procedural Law
13 min
★ ★ ★ ☆ ☆ 3/5
TTIPISDSLuxembourg