A Superposition Calculus for Abductive Reasoning

Type de document :
Article dans une revue
Journal of Automated Reasoning, Springer Verlag, 2016, 57 (2), pp.97--134. <http://link.springer.com/article/10.1007/s10817-015-9344-2>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01363997
Contributeur : Nicolas Peltier <>
Soumis le : lundi 12 septembre 2016 - 11:13:14
Dernière modification le : mercredi 14 septembre 2016 - 01:03:21

Identifiants

  • HAL Id : hal-01363997, version 1

Collections

Citation

Mnacho Echenim, Nicolas Peltier. A Superposition Calculus for Abductive Reasoning. Journal of Automated Reasoning, Springer Verlag, 2016, 57 (2), pp.97--134. <http://link.springer.com/article/10.1007/s10817-015-9344-2>. <hal-01363997>

Partager

Métriques

Consultations de la notice

85