Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02093400
Contributor : Équipe Cana Du Lis <>
Submitted on : Monday, April 8, 2019 - 8:48:33 PM
Last modification on : Wednesday, April 10, 2019 - 1:26:24 AM

Identifiers

  • HAL Id : hal-02093400, version 1

Collections

Citation

Tarek Khaled, Belaid Benhamou, Pierre Siegel. Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique. Actes des Quatorzièmes Journées Francophones de Programmation par Contraintes (JFPC'2018), 2018, Amiens, France. pp.63-72. ⟨hal-02093400⟩

Share

Metrics

Record views

19