Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

A logic for default reasoning

19803,926 citationsJournal Article

Authors

Raymond Reiter · University of British Columbia

Topics & Keywords

Logic, programming, and type systems Logic, Reasoning, and Knowledge Formal Methods in Verification

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Artificial Intelligence

Volume 13, Issue 1-2, pp. 81-132

DOI: 10.1016/0004-3702(80)90014-4

Field-Weighted Citation Impact: 55.04

A logic for default reasoning | Researchclopedia