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 1354/1382
Formal & Physical Sciences AI — News & Applications
EN

Proof Systems

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicProof SystemsNatural Deduction
Formal & Physical Sciences Physics
EN

L'intrication quantique

Quantum entanglement

David Louapre
19 min
★ ★ ★ ★ ★ 5/5
Quantum EntanglementEPR ParadoxBell Inequalities
Formal & Physical Sciences AI — News & Applications
EN

Unification

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

The Rete Algorithm

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Rete AlgorithmExpert SystemsRule-Based Systems
Formal & Physical Sciences AI — Models & Research
EN

The OPS5 Expert System Shell

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
OPS5Expert SystemsForward Chaining
Formal & Physical Sciences AI — News & Applications
EN

Terminological Facts

Artificial Intelligence
29 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicKnowledge RepresentationTerminological Facts
Formal & Physical Sciences AI — Models & Research
EN

Syntax

Artificial Intelligence
34 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicSyntaxLogic
Formal & Physical Sciences AI — News & Applications
EN

Skolemization

Artificial Intelligence (channel)
35 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicSkolemizationExistential Quantifier
Formal & Physical Sciences AI — Models & Research
EN

Semantics

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

Rete Algorithm - Example

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
Rete AlgorithmExpert SystemsForward Chaining
Formal & Physical Sciences AI — News & Applications
EN

Properties and Categories

Artificial Intelligence (channel)
32 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicKnowledge RepresentationReification
Formal & Physical Sciences AI — Models & Research
EN

Programming in a Rule Based Language

Artificial Intelligence
28 min
★ ★ ★ ★ ☆ 4/5
Rule-Based SystemsOPS5Rete Algorithm
Formal & Physical Sciences AI — Models & Research
EN

Forward Chaining Rule Based Systems

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
Forward ChainingRule-Based SystemsInference Engine
Formal & Physical Sciences AI — Models & Research
EN

Forward Chaining

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Forward ChainingUnificationMost General Unifier
Formal & Physical Sciences AI — Models & Research
EN

Entailment and Models

Artificial Intelligence
34 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicSemanticsEntailment
Formal & Physical Sciences Mathematics
EN

An Introduction to Formal Logics

Artificial Intelligence (channel)
31 min
★ ★ ★ ★ ☆ 4/5
Formal LogicPropositional LogicFirst-Order Logic
Life & Natural Systems Medicine & Health
EN

Lecture 20 - Cancer

Thomas Mennella
74 min
★ ★ ★ ★ ☆ 4/5
Cancer BiologyCell CycleMetastasis