Journal Articles
Theory and Practice of Logic Programming
Year : 2006
Benjamin Nguyen : Connect in order to contact the contributor
https://hal.science/hal-00328191
Submitted on : Friday, October 10, 2008-7:57:35 AM
Last modification on : Friday, March 24, 2023-2:52:51 PM
Dates and versions
Identifiers
- HAL Id : hal-00328191 , version 1
Cite
Yann Loyer, U. Straccia. Epistemic Foundation of Stable Model Semantics. Theory and Practice of Logic Programming, 2006, 6 (4), pp.355--393. ⟨hal-00328191⟩
28
View
0
Download