Skip to Main content Skip to Navigation
Conference papers

A New Method for Computing Stable Models in Logic Programming

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02098927
Contributor : Benhamou Belaïd <>
Submitted on : Saturday, April 13, 2019 - 5:03:56 PM
Last modification on : Wednesday, January 22, 2020 - 7:07:31 PM

Identifiers

Collections

Citation

Tarek Khaled, Belaïd Benhamou, Pierre Siegel. A New Method for Computing Stable Models in Logic Programming. 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, Greece. pp.800-807, ⟨10.1109/ICTAI.2018.00125⟩. ⟨hal-02098927⟩

Share

Metrics

Record views

104