Conference Papers
Year : 1997
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03300532
Submitted on : Tuesday, July 27, 2021-10:37:36 AM
Last modification on : Wednesday, October 20, 2021-9:58:21 AM
Dates and versions
Identifiers
- HAL Id : hal-03300532 , version 1
Cite
Bertrand Mazure, Lakhdar Saïs, Éric Grégoire. Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. Proceedings International Joint Conference on Qualitative and Quantitative Practical Reasoning, 1997, Bad Honnef, Germany. pp.122-130. ⟨hal-03300532⟩
Collections
4
View
0
Download