[IEEE 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI) - Volos, Greece (2018.11.5-2018.11.7)] 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI) - A New Method for Computing Stable Models in Logic Programming
Khaled, Tarek, Benhamou, Belaid, Siegel, PierreYear:
2018
Language:
english
DOI:
10.1109/ICTAI.2018.00125
File:
PDF, 202 KB
english, 2018