Catalogue de tuit

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

43 901 tuit · 901 chaînes · 42 domaines · Mise à jour : 8 sept. 2026
Thema granulaire (1 834)
43901 tuit · page 1072/1098
Sciences formelles & physiques IA — Actualité & Applications
FR

The Event Calculus: Reasoning About Change

Le calcul des événements : raisonner sur le changement

Artificial Intelligence
36 min
4/5
Calcul Des ÉvénementsReprésentation Des ConnaissancesLogique
Sciences formelles & physiques Physique
FR

Ripple Effects: A Forum on Gravitational Waves

Effets d'entraînement : un forum sur les ondes gravitationnelles

Perimeter Institute for Theoretical Physics
39 min
4/5
Ondes GravitationnellesLIGOTrous Noirs
Sciences formelles & physiques IA — Modèles & Recherche
FR

Resource Description Framework (RDF)

Cadre de description des ressources (RDF)

Artificial Intelligence (chaîne)
33 min
4/5
RDFWeb SémantiqueReprésentation Des Connaissances
Sciences formelles & physiques IA — Modèles & Recherche
FR

English to CD Theory

Théorie de l'anglais au CD

Artificial Intelligence (chaîne)
33 min
4/5
Dépendance ConceptuelleReprésentation Des ConnaissancesAnalyse Sémantique
Sciences formelles & physiques IA — Modèles & Recherche
FR

Top Down and Bottom Up Reasoning

Raisonnement de haut en bas et de bas en haut

Artificial Intelligence
31 min
4/5
PAMRaisonnementCompréhension De Récits
Sciences formelles & physiques IA — Actualité & Applications
FR

Structure Matching - Example

Correspondance de structures - Exemple

Artificial Intelligence (chaîne)
27 min
4/5
Logique De DescriptionsSubsomptionTaxonomie
Sciences formelles & physiques IA — Actualité & Applications
FR

Structure Matching

Correspondance de structure

Artificial Intelligence
27 min
4/5
Logiques De DescriptionSubsomptionRaisonnement
Sciences formelles & physiques IA — Modèles & Recherche
FR

Semantic Nets and Frames

Réseaux et cadres sémantiques

Artificial Intelligence (chaîne)
34 min
4/5
Réseaux SémantiquesFramesReprésentation Des Connaissances
Sciences formelles & physiques IA — Actualité & Applications
FR

Search in Prolog

Recherche en Prolog

Artificial Intelligence
26 min
4/5
PrologRecherche en ProfondeurBackward Chaining
Sciences formelles & physiques Informatique & Cybersécurité
FR

Scripts

Scénarios

Artificial Intelligence
32 min
4/5
ScriptsReprésentation Des ConnaissancesCompréhension Du Langage Naturel
Sciences formelles & physiques IA — Modèles & Recherche
FR

Reification and Abstract Entities

Réification et entités abstraites

Artificial Intelligence (chaîne)
33 min
4/5
RéificationEntités AbstraitesReprésentation Des Connaissances
Sciences formelles & physiques Informatique & Cybersécurité
FR

Prolog

Prolog

Artificial Intelligence (chaîne YouTube)
38 min
4/5
PrologProgrammation LogiqueLogique
Sciences formelles & physiques IA — Actualité & Applications
FR

Plan Applier Mechanism

Mécanisme d'application du plan

Artificial Intelligence (chaîne YouTube)
30 min
4/5
PAMCompréhension De RécitsReprésentation Des Connaissances
Sciences formelles & physiques IA — Modèles & Recherche
FR

Normalisation

Artificial Intelligence
30 min
4/5
Logiques De DescriptionNormalisationSubsomption
Sciences formelles & physiques IA — Modèles & Recherche
FR

Natural Language Semantics

Sémantique du langage naturel

Artificial Intelligence (chaîne)
31 min
4/5
SémantiqueLangage NaturelDépendance Conceptuelle
Sciences formelles & physiques IA — Actualité & Applications
FR

M7 Lec 2 - The Resolution Refutation method for First Order Logic

M7 Lec 2 - La méthode de réfutation par résolution pour la logique du premier ordre

Artificial Intelligence
31 min
2/5
Logique Du Premier OrdreRésolutionIntelligence Artificielle
Sciences formelles & physiques IA — Actualité & Applications
FR

Logic Programming

Programmation logique

Artificial Intelligence (chaîne)
33 min
4/5
LogiqueProgrammationProlog
Sciences formelles & physiques IA — Actualité & Applications
FR

Introduction

Artificial Intelligence (chaîne)
43 min
4/5
Logiques De DescriptionIntelligence ArtificielleReprésentation Des Connaissances
Sciences formelles & physiques Mathématiques
FR

Incompleteness

Incomplétude

Artificial Intelligence (chaîne)
29 min
4/5
LogiqueRésolutionComplétude
Sciences formelles & physiques IA — Actualité & Applications
FR

Goals, Plans and Actions

Objectifs, Plans et Actions

Artificial Intelligence (chaîne)
29 min
4/5
IACompréhension De RécitsPlans
Sciences formelles & physiques Mathématiques
FR

FOL with Equality

FOL avec l'égalité

Artificial Intelligence (chaîne)
30 min
4/5
Logique Du Premier OrdreÉgalitéRésolution
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