Article Dans Une Revue
Theory and Practice of Logic Programming
Année : 2006
Benjamin Nguyen : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00328191
Soumis le : vendredi 10 octobre 2008-07:57:35
Dernière modification le : vendredi 24 mars 2023-14:52:51
Dates et versions
Identifiants
- HAL Id : hal-00328191 , version 1
Citer
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
Consultations
0
Téléchargements