X-tra as a toolbox for truth maintenance

François Charpillet; Pierre Marquis; Jean-Paul Haton

inria-00075105, version 1

X-tra as a toolbox for truth maintenance

François Charpillet () ¹, Pierre Marquis ¹, Jean-Paul Haton () ¹

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 : SYCO (INRIA Lorraine - LORIA)
INRIA – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) – CNRS : UMR7503

inria-00075105, version 1
http://hal.inria.fr/inria-00075105
oai:hal.inria.fr:inria-00075105
Contributeur : Rapport De Recherche Inria <>
Soumis le : Mercredi 24 Mai 2006, 17:25:46
Dernière modification le : Vendredi 19 Novembre 2010, 09:27:07

Voir la fiche détaillée

Documents associés

PS :

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Rapports</head>
<biblStruct type="report" xml:id="inria-00075105"><monogr>
<author><persName><forename>François</forename><surname>Charpillet</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">SYCO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
</affiliation>
</author>
<author><persName><forename>Pierre</forename><surname>Marquis</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">SYCO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
</affiliation>
</author>
<author><persName><forename>Jean-Paul</forename><surname>Haton</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">SYCO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
</affiliation>
</author>
<title type="main" level="m">X-tra as a toolbox for truth maintenance</title><title type="main" level="m">X-tra as a toolbox for truth maintenance</title><imprint><biblScope type="publicationDate">1991-00-00</biblScope><biblScope type="pp">9</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00075105</idno><idno type="HALFile">http://hal.inria.fr/inria-00075105/PDF/RR-1456.pdf</idno></biblStruct>
</listBibl>
</listBibl>