---
title: "Truth Maintenance Systems for Problem Solving"
authors:
  - "Jon Doyle"
doi: ""
url: "https://ijcai.org/proceedings/1977/53"
pdf: "https://ijcai.org/proceedings/1977/0053.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "247--1"
track: "Representation of Knowledge"
keywords:
---

# Truth Maintenance Systems for Problem Solving

Jon Doyle

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 247--1.

## Abstract