Claudette Cayrol, Michel Cayrol, Olivier Palmade. New Techniques for Inference in Assumption-Based Truth Maintenance Systems. In ICTAI. pages 404-407, 1993.
@inproceedings{CayrolCP93,
title = {New Techniques for Inference in Assumption-Based Truth Maintenance Systems},
author = {Claudette Cayrol and Michel Cayrol and Olivier Palmade},
year = {1993},
tags = {rule-based, maintenance},
researchr = {https://researchr.org/publication/CayrolCP93},
cites = {0},
citedby = {0},
pages = {404-407},
booktitle = {ICTAI},
}