Introduit le Mathgraph Theorem Prover, montrant son approche unique pour représenter des propositions et organiser des graphiques pour la logique de premier ordre.

La technologie littéraire de Robert Boyle

Explore la technologie littéraire de Robert Boyle et son impact sur la production et la communication du savoir.

Inférence des connaissances

Explore l'inférence des connaissances, les techniques d'intégration et la correspondance des schémas dans l'intégration des données.

Systèmes d'information distribués : aperçu et modèles

Couvre les systèmes d'information distribués, les tâches clés, les méthodes, les projets, l'évaluation et le soutien aux examens.

Systèmes d'experts: Chainage vers l'arrière

Explore les systèmes experts, l'enchaînement rétrograde et l'incertitude grâce à une logique floue dans les applications pratiques.

Le PNL moderne et l'éthique dans le PNL

Se penche sur les progrès et les défis du PNL, ainsi que sur les considérations éthiques et les préjudices potentiels.

L’imprimerie : une révolution en France

Explore l’introduction de l’imprimerie en France et son impact sociétal.