Jean Christophe Madre, Olivier Coudert. A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. In IJCAI. pages 294-299, 1991.
@inproceedings{MadreC91,
title = {A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver},
author = {Jean Christophe Madre and Olivier Coudert},
year = {1991},
tags = {rule-based, completeness, constraints, maintenance},
researchr = {https://researchr.org/publication/MadreC91},
cites = {0},
citedby = {0},
pages = {294-299},
booktitle = {IJCAI},
}