sorted by in without abstract

euzenat1990a (2017-01-01)

Jérôme Euzenat, Un système de maintenance de la vérité à propagation de contextes, Thèse d'informatique, Université Joseph Fourier, Grenoble (FR), 131p., février 1990
[BibTeX:euzenat1990a] [Show abstract]
ftp://ftp.inrialpes.fr/pub/sherpa/theses/these-euzenat.pdf
ftp://ftp.inrialpes.fr/pub/sherpa/theses/euzenat.ps.gz
Mécanisation du raisonnement, raisonnement hypothétique, raisonnement non monotone, maintenance de la vérité
Reason maintainance/Maintien du raisonnement