A New Method for Computing Stable Models in Logic Programming

Document type :
Conference papers
Complete list of metadatas

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

Identifiers

Collections

Citation

Tarek Khaled, Belaid Benhamou, Pierre Siegel. A New Method for Computing Stable Models in Logic Programming. IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI'2018, 2018, Protland, United States. pp.800--807, ⟨10.1109/ICTAI.2018.00125⟩. ⟨hal-02093399⟩

Share

Metrics

Record views

29