Catalogue de tuit

Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.

49 281 tuit · 936 chaînes · 42 domaines · Mise à jour : 13 oct. 2026
Thema granulaire (1 895)
49281 tuit · page 1205/1233
Sciences formelles & physiques IA — Modèles & Recherche
FR

DL: Extensions

DL : Extensions

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Logique De DescriptionExpressivitéSubsomption
Sciences formelles & physiques IA — Modèles & Recherche
FR

DL: ALC

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
Logique De DescriptionALCTableau
Sciences formelles & physiques IA — Actualité & Applications
FR

Controlling Search

Contrôle de la recherche

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
PrologProgrammation LogiqueCut
Sciences formelles & physiques IA — Actualité & Applications
FR

Complexity of Resolution Refutation

Complexité de la réfutation par résolution

Artificial Intelligence (chaîne)
40 min
★ ★ ★ ★ ☆ 4/5
RésolutionComplexitéLogique Du Premier Ordre
Sciences formelles & physiques Mathématiques
FR

Clause Form

Formulaire de clause

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
RésolutionLogique Du Premier OrdreForme Clausale
Sciences formelles & physiques IA — Modèles & Recherche
FR

Classification

Artificial Intelligence (chaîne)
31 min
★ ★ ★ ★ ☆ 4/5
Logique De DescriptionClassificationTaxonomie
Sciences formelles & physiques IA — Modèles & Recherche
FR

CD Theory (contd)

Théorie CD (suite)

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Représentation Des ConnaissancesDépendance ConceptuelleTraitement Du Langage Naturel
Sciences formelles & physiques IA — Actualité & Applications
FR

CD Theory

Théorie de la dépendance conceptuelle

Artificial Intelligence (chaîne YouTube)
31 min
★ ★ ★ ★ ☆ 4/5
Dépendance ConceptuelleReprésentation Des ConnaissancesTraitement Du Langage Naturel
Sciences formelles & physiques IA — Modèles & Recherche
FR

Backward Chaining

Chaînage arrière

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Chaînage ArrièreLogique De Premier OrdreProgrammation Logique
Sciences formelles & physiques IA — Actualité & Applications
FR

Applying Scripts

Application de scripts

Artificial Intelligence
27 min
★ ★ ★ ★ ☆ 4/5
ScriptsSAMReprésentation Des Connaissances
Sciences formelles & physiques IA — Modèles & Recherche
FR

ALC examples

exemples ALC

Artificial Intelligence
27 min
★ ★ ★ ★ ☆ 4/5
Logique De DescriptionALCMéthode Des Tableaux
Sciences formelles & physiques IA — Modèles & Recherche
FR

A-box reasoning

Raisonnement A-box

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Logiques De DescriptionRaisonnement A-BoxOntologies
Sciences appliquées & ingénierie Ingénierie & Technologies
FR

Moon Base Concepts

Concepts de base lunaire

Isaac Arthur
34 min
★ ★ ★ ★ ☆ 4/5
LuneBase LunaireExploration Spatiale
Sciences humaines, sociales & pensée Droit & Justice
FR

TTIP – Welcome address

TTIP – Discours de bienvenue

Max Planck Institute Luxembourg for Procedural Law
13 min
★ ★ ★ ☆ ☆ 3/5
TTIPDroit InternationalRèglement Des Différends
Sciences humaines, sociales & pensée Droit & Justice
FR

TTIP – Panel 1 - Increasing the Legitimacy of ISDS

TTIP – Panel 1 - Accroître la légitimité de l'ISDS

Max Planck Institute Luxembourg for Procedural Law
46 min
★ ★ ★ ★ ☆ 4/5
ISDSTTIPArbitrage International
Sciences formelles & physiques IA — Actualité & Applications
FR

Proof Systems

Systèmes de preuve

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Logique Du Premier OrdreSystèmes De PreuveInférence
Sciences formelles & physiques Physique
FR

Klasyczne paradoksy szczególnej teorii względności

Paradoxes classiques de la théorie de la relativité restreinte

Dr hab. Tomasz Sowiński
70 min
★ ★ ★ ★ ☆ 4/5
Relativité RestreinteParadoxeDilatation Du Temps
Sciences formelles & physiques IA — Actualité & Applications
FR

Unification

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
UnificationLogique Du Premier OrdreSubstitution
Sciences formelles & physiques IA — Modèles & Recherche
FR

The Rete Algorithm

L'algorithme Rete

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
ReteSystèmes ExpertsMoteur D'inférence
Sciences formelles & physiques IA — Modèles & Recherche
FR

The OPS5 Expert System Shell

L'interface du système expert OPS5

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
OPS5Systèmes ExpertsChaînage Avant
Sciences formelles & physiques IA — Actualité & Applications
FR

Terminological Facts

Faits terminologiques

Artificial Intelligence (chaîne)
29 min
★ ★ ★ ★ ☆ 4/5
Logique Du Premier OrdreReprésentation Des ConnaissancesDéduction
Sciences formelles & physiques IA — Modèles & Recherche
FR

Syntax

Syntaxe

Artificial Intelligence
34 min
★ ★ ★ ★ ☆ 4/5
Logique Du Premier OrdreSyntaxeFormules
Sciences formelles & physiques IA — Actualité & Applications
FR

Skolemization

Skolémisation

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
Logique Du Premier OrdreSkolémisationQuantificateurs
Sciences formelles & physiques IA — Modèles & Recherche
FR

Semantics

Sémantique

Artificial Intelligence (chaîne)
24 min
★ ★ ★ ★ ☆ 4/5
Logique Du Premier OrdreSémantiqueInterprétation
Sciences formelles & physiques IA — Modèles & Recherche
FR

Rete Algorithm - Example

Rete Algorithm - Exemple

Artificial Intelligence (chaîne)
30 min
★ ★ ★ ★ ☆ 4/5
ReteSystèmes De ProductionChaînage Avant
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Valid Arguments and Proof Systems

Logique propositionnelle : Arguments valides et systèmes de preuve

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Logique PropositionnelleSystèmes De PreuveRègles D'inférence
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: The Tableau Method

Logique propositionnelle : La méthode des tableaux

Artificial Intelligence
29 min
★ ★ ★ ★ ☆ 4/5
Logique PropositionnelleMéthode Des TableauxPreuve Par Contradiction
Sciences formelles & physiques IA — Modèles & Recherche
FR

Propositional Logic: The Resolution Refutation Method

Logique propositionnelle : La méthode de réfutation par résolution

Artificial Intelligence (chaîne)
33 min
★ ★ ★ ★ ☆ 4/5
Logique PropositionnelleRésolutionForme Normale Conjonctive
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Syntax and Truth Values

Logique propositionnelle : Syntaxe et valeurs de vérité

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Logique PropositionnelleSyntaxeSémantique
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Rules of Inference and Natural Deduction

Logique propositionnelle : Règles d'inférence et déduction naturelle

Artificial Intelligence
28 min
★ ★ ★ ★ ☆ 4/5
Logique PropositionnelleRègles D'inférenceDéduction Naturelle
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Language, Semantics and Reasoning

Logique propositionnelle : Langage, Sémantique et Raisonnement

Artificial Intelligence
34 min
★ ★ ★ ★ ☆ 4/5
Logique PropositionnelleSyntaxeSémantique
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Axiomatic Systems and Hilbert Style Proofs

Logique propositionnelle : Systèmes axiomatiques et preuves de style Hilbert

Artificial Intelligence (chaîne)
33 min
★ ★ ★ ★ ☆ 4/5
Logique PropositionnelleSystème AxiomatiquePreuve À La Hilbert
Sciences formelles & physiques IA — Actualité & Applications
FR

Properties and Categories

Propriétés et Catégories

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Logique Du Premier OrdreReprésentation Des ConnaissancesRéification