---
title: "A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver"
authors:
  - "Jean Christophe Madre"
  - "Olivier Coudert"
doi: ""
url: "https://ijcai.org/proceedings/1991/44"
pdf: "https://ijcai.org/proceedings/1991/0044.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "294-298"
track: "Automated Reasoning"
keywords:
---

# A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver

Jean Christophe Madre, Olivier Coudert

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 294-298.

## Abstract

This paper presents a logically complete assumption based truth maintenance system (ATMS) that is part of a complex blast furnace computer aided piloting system [5]. This system is built on an efficient and logically complete propositional constraint solver that has been successfully used for industrial applications in computer aided design.