X-tra as a toolbox for truth maintenanceReport as inadecuate

X-tra as a toolbox for truth maintenance - Download this document for free, or read online. Document in PDF available to download.

1 SYCO - Basic Models and Applications of Perceptive and Cognitive Processes INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Abstract : 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.

Author: Fran├žois Charpillet - Pierre Marquis - Jean-Paul Haton -

Source: https://hal.archives-ouvertes.fr/


Related documents