inria-00075105, version 1
X-tra as a toolbox for truth maintenance
N° RR-1456 (1991)
Résumé : X-TRA is a development tool for knowledge-based systems. It integrates a toolbox for truth maintenance based on both TMS and ATMS techniques. In this paper we present facilities provided in X-TRA for the truth maintenance task.
- 1 :
- INRIA – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) – CNRS : UMR7503
- Domaine : Informatique/Autre
- Référence interne : RR-1456
- inria-00075105, version 1
- http://hal.inria.fr/inria-00075105
- oai:hal.inria.fr:inria-00075105
- Contributeur :
- Soumis le : Mercredi 24 Mai 2006, 17:25:46
- Dernière modification le : Vendredi 19 Novembre 2010, 09:27:07


Documents associés

Exporter