A Logic for Default Reasoning.

Reiter, R. (1980). A Logic for Default Reasoning. Artificial Intelligence, 13(1), 1-2.

Type

Journal article

Intellectual base

Primary research

Year

1980

DOI

10.1016/0004-3702(80)90014-4

Link

https://doi.org/10.1016/0004-3702(80)90014-4

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Frame Problem
  • Non-monotonic logics — default logic, circumscription, autoepistemic logic — were developed precisely to formalize "facts persist unless contradicted,"

    This sourceDefault logic formalizing "facts persist unless contradicted," a non-monotonic closure rule for ramification.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:95b126fd35dc · see in the full table