Work

Circumscription implies predicate completion (sometimes)

Year: 1982

Type: conference-paper

Source: National Conference on Artificial Intelligence

Author: Raymond Reiter

Institution: Rutgers, The State University of New Jersey

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2127659271

FWCI: 3.842

Cites: 5

Cited by: 79

Related to: 10