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

Minimal Models

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
CircumscriptionDefault ReasoningNon-Monotonic Logic
Formal & Physical Sciences AI — News & Applications
EN

Introduction.

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Default ReasoningNon-Monotonic LogicClosed World Assumption
Formal & Physical Sciences AI — News & Applications
EN

Event Calculus Revisited

Artificial Intelligence (channel)
30 min
★ ★ ★ ★ ☆ 4/5
Event CalculusCircumscriptionFrame Problem
Formal & Physical Sciences AI — News & Applications
EN

Circumscription (contd)

Artificial Intelligence
29 min
★ ★ ★ ★ ☆ 4/5
CircumscriptionNon-Monotonic LogicMinimal Entailment
Formal & Physical Sciences AI — News & Applications
EN

Circumscription

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
CircumscriptionDefault ReasoningNon-Monotonic Logic
Formal & Physical Sciences Computing & Cybersecurity
EN

Inheritance Hierarchies:

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Inheritance HierarchiesNon-Monotonic ReasoningKnowledge Representation
Formal & Physical Sciences AI — News & Applications
EN

Beliefs

Artificial Intelligence
25 min
★ ★ ★ ★ ☆ 4/5
Inheritance HierarchiesAdmissibilityKnowledge Representation
Formal & Physical Sciences AI — Models & Research
EN

Taxonomies and Inheritance

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Inheritance NetworksKnowledge RepresentationDefeasible Reasoning
Formal & Physical Sciences Mathematics
EN

Correlation (english)

Thierry Ancelle
27 min
★ ★ ★ ★ ☆ 4/5
CorrelationStatisticsPearson
Life & Natural Systems Biology
EN

Vache folle & Prions

Mad cow & Prions

David Louapre
10 min
★ ★ ★ ★ ★ 5/5
PrionsKuruMad Cow Disease
Formal & Physical Sciences Earth Sciences & Geography
EN

La terre est-elle creuse ? - TDM #3

Is the Earth hollow? - TDM #3

Les Revues du Monde
11 min
★ ★ ★ ★ ☆ 4/5
Hollow EarthDebunkingGeology
Formal & Physical Sciences Engineering & Technology
EN

Black Hole Starships

Isaac Arthur
19 min
★ ★ ★ ★ ☆ 4/5
Black HolesStarshipHawking Radiation
Formal & Physical Sciences AI — News & Applications
EN

The Resolution Method for FOL

Artificial Intelligence (channel)
31 min
★ ★ ★ ★ ☆ 4/5
ResolutionFirst-Order LogicClause Form
Humanities, Social Sciences & Thought Arts & Architecture
EN

Spider: what's Varys up to?

Alt Shift X
19 min
★ ★ ★ ★ ★ 5/5
Game of ThronesASOIAFVarys
Formal & Physical Sciences Mathematics
EN

La régression de Poisson

Poisson regression

Thierry Ancelle
38 min
★ ★ ★ ★ ☆ 4/5
Poisson RegressionEpidemiologyBiostatistics
Formal & Physical Sciences Engineering & Technology
EN

Megastructures 05 Shellworlds

Isaac Arthur
13 min
★ ★ ★ ★ ☆ 4/5
MegastructuresShellworldsSpace Colonization
Life & Natural Systems Physics
EN

Qu'est-ce qu'une couleur ?

What is a color?

David Louapre
14 min
★ ★ ★ ★ ★ 5/5
Color PerceptionLightVision
Humanities, Social Sciences & Thought Astronomy & Cosmology
EN

59 lat ery kosmicznej

59 years of cosmic era

Robert R. Gałązka
94 min
★ ★ ★ ★ ☆ 4/5
Space ExplorationHistorySatellites
Formal & Physical Sciences AI — Models & Research
EN

Natural Language Semantics

Artificial Intelligence (channel)
30 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyNatural Language UnderstandingKnowledge Representation
Formal & Physical Sciences Computing & Cybersecurity
EN

The Cut Operator in Prolog

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
PrologCut OperatorLogic Programming
Formal & Physical Sciences AI — News & Applications
EN

The Event Calculus: Reasoning About Change

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Event CalculusKnowledge RepresentationReasoning About Change