Circumscription—A form of non-monotonic reasoning

1980 · Artificial Intelligence · 2,037 citations · 5 from inside this corpus

No abstract in the source record.

6 of 6 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

this paper works it cites works citing it node size = global citations · hover for the full title

What this paper cites, inside the corpus

Paper	Year	Cited
A logic for default reasoning	1980	3,943

What cites it, inside the corpus

Paper	Year	Cited
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference	1988	16,981
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…	1995	4,319
A computational approach to fuzzy quantifiers in natural languages	1983	1,829
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains	2003	1,746
Nonmonotonic reasoning, preferential models and cumulative logics	1990	1,679

Links

DOI · OpenAlex record

Topics

Logic, Reasoning, and Knowledge	Computer Science
Logic, programming, and type systems	Computer Science
Advanced Algebra and Logic	Computer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

supports1 author record(s) attached.
supports16 reference(s) recorded.
neutralThe DOI carries no year to check against.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:51+00:00.

sha256 6e314d9c6052d1ed…