A New Method for Computing Stable Models in Logic Programming - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018
Fichier non déposé

Dates et versions

hal-02098927 , version 1 (13-04-2019)

Identifiants

Citer

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⟩
77 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More