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

Madre, Jean Christophe; Coudert, Olivier

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

Download BibTeX Cite

Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Automated Reasoning. 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.

Jean Christophe Madre, and Olivier Coudert. 1991. A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. IJCAI, 294–298. https://ijcai.org/proceedings/1991/44

@inproceedings{ijcai1991p44,
  title     = {A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver},
  author    = {Madre, Jean Christophe and Coudert, Olivier},
  booktitle = {Proceedings of the Twelfth International Joint Conference on
               Artificial Intelligence, {IJCAI-91}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John Mylopoulos and Ray Reiter},
  pages     = {294--298},
  year      = {1991},
  month     = {8},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1991/44},
}

TY  - CPAPER
TI  - A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver
AU  - Madre, Jean Christophe
AU  - Coudert, Olivier
T2  - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1991
SP  - 294
EP  - 298
UR  - https://ijcai.org/proceedings/1991/44
ER  -