{"type":"ScholarlyArticle","title":"A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver","authors":[{"name":"Jean Christophe Madre","slug":"jean-christophe-madre","given":"Jean Christophe","family":"Madre","affiliation":""},{"name":"Olivier Coudert","slug":"olivier-coudert","given":"Olivier","family":"Coudert","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1991/44","pdf":"https://ijcai.org/proceedings/1991/0044.pdf","markdown":"https://ijcai.org/proceedings/1991/44.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/44","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":44,"pages":{"first":294,"last":298},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}