AI — News & Applications

1650 tuit · page 42/42
Goals, Plans and Actions
Formal & Physical Sciences AI — News & Applications
EN

Goals, Plans and Actions

Artificial Intelligence (channel)
29 min
★ ★ ★ ★ ☆ 4/5
AINatural Language UnderstandingPlans
Controlling Search
Formal & Physical Sciences AI — News & Applications
EN

Controlling Search

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

Complexity of Resolution Refutation

Artificial Intelligence
40 min
★ ★ ★ ★ ☆ 4/5
ResolutionComplexityHorn Clauses
CD Theory
Formal & Physical Sciences AI — News & Applications
EN

CD Theory

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyNatural Language ProcessingKnowledge Representation
Applying Scripts
Formal & Physical Sciences AI — News & Applications
EN

Applying Scripts

Artificial Intelligence
27 min
★ ★ ★ ★ ☆ 4/5
ScriptsSAMConceptual Dependency
Proof Systems
Formal & Physical Sciences AI — News & Applications
EN

Proof Systems

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicProof SystemsNatural Deduction
Unification
Formal & Physical Sciences AI — News & Applications
EN

Unification

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
UnificationLogic ProgrammingFirst-Order Logic
Terminological Facts
Formal & Physical Sciences AI — News & Applications
EN

Terminological Facts

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

Skolemization

Artificial Intelligence (channel)
35 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicSkolemizationExistential Quantifier
Properties and Categories
Formal & Physical Sciences AI — News & Applications
EN

Properties and Categories

Artificial Intelligence (channel)
32 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicKnowledge RepresentationReification