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 truth maintenance system

19791,781 citationsJournal Article

Authors

Jon Doyle · Massachusetts Institute of Technology

Topics & Keywords

Software Engineering Research Logic, programming, and type systems Scientific Computing and Data Management

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Artificial Intelligence

Volume 12, Issue 3, pp. 231-272

DOI: 10.1016/0004-3702(79)90008-0

Field-Weighted Citation Impact: 50.11

A truth maintenance system | Researchclopedia