Author:
Cabalar Pedro,Fandinno Jorge,Fariñas del Cerro Luis
Publisher
Springer Nature Switzerland
Reference8 articles.
1. Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)
2. Cabalar, P., Fandinno, J., Fariñas del Cerro, L.: Autoepistemic answer set programming. Artif. Intell. 289, 103382 (2020). https://doi.org/10.1016/j.artint.2020.103382
3. Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87(1/2), 78–128 (1990). https://doi.org/10.1016/0890-5401(90)90060-U
4. Gelfond, M.: Logic programming and reasoning with incomplete information. Ann. Math. Artif. Intell. 12(1–2), 89–116 (1994). https://doi.org/10.1007/BF01530762
5. Heyting, A.: Die formalen Regeln der intuitionistischen Logik, pp. 42–56. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse pp (1930)