Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01577817
Contributor : Tiago de Lima <>
Submitted on : Monday, August 28, 2017 - 11:13:20 AM
Last modification on : Monday, March 30, 2020 - 8:50:43 AM

Identifiers

  • HAL Id : hal-01577817, version 1

Citation

Khaled Tarek, Belaïd Benhamou, Pierre Siegel. Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique . 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. ⟨hal-01577817⟩

Share

Metrics

Record views

157