AI — News & Applications

1032 tuit · page 26/26
Machine Rebellion
Humanities, Social Sciences & Thought AI — News & Applications
EN

Machine Rebellion

Isaac Arthur
32 min
★ ★ ★ ★ ☆ 4/5
AI SafetyArtificial IntelligenceMachine Rebellion
Circumscription in EC
Formal & Physical Sciences AI — News & Applications
EN

Circumscription in EC

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Event CalculusCircumscriptionNon-Monotonic Reasoning
Minimal Models
Formal & Physical Sciences AI — News & Applications
EN

Minimal Models

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

Introduction.

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

Event Calculus Revisited

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

Circumscription (contd)

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

Circumscription

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

Beliefs

Artificial Intelligence
25 min
★ ★ ★ ★ ☆ 4/5
Inheritance HierarchiesAdmissibilityKnowledge Representation
The Resolution Method for FOL
Formal & Physical Sciences AI — News & Applications
EN

The Resolution Method for FOL

Artificial Intelligence (channel)
31 min
★ ★ ★ ★ ☆ 4/5
ResolutionFirst-Order LogicClause Form
The Event Calculus: Reasoning About Change
Formal & Physical Sciences AI — News & Applications
EN

The Event Calculus: Reasoning About Change

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Event CalculusKnowledge RepresentationReasoning About Change
Structure Matching - Example
Formal & Physical Sciences AI — News & Applications
EN

Structure Matching - Example

Artificial Intelligence
27 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationStructure Matching
Structure Matching
Formal & Physical Sciences AI — News & Applications
EN

Structure Matching

Artificial Intelligence (channel)
27 min
★ ★ ★ ★ ☆ 4/5
Description LogicsSubsumptionKnowledge Representation
Search in Prolog
Formal & Physical Sciences AI — News & Applications
EN

Search in Prolog

Artificial Intelligence
26 min
★ ★ ★ ★ ☆ 4/5
PrologDepth-First SearchRecursion
Plan Applier Mechanism
Formal & Physical Sciences AI — News & Applications
EN

Plan Applier Mechanism

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
PAMStory UnderstandingNatural Language Processing
Logic Programming
Formal & Physical Sciences AI — News & Applications
EN

Logic Programming

Artificial Intelligence (channel)
33 min
★ ★ ★ ★ ☆ 4/5
Logic ProgrammingPrologBackward Chaining
Introduction
Formal & Physical Sciences AI — News & Applications
EN

Introduction

Artificial Intelligence
43 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationArtificial Intelligence
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