Author:
Costantini Stefania,Formisano Andrea
Publisher
Springer International Publishing
Reference22 articles.
1. Cabalar, P., Fandinno, J., del Cerro, L.F.: Splitting epistemic logic programs. Theory Pract. Log. Program. 21(3), 296–316 (2021)
2. Cabalar, P., Fandinno, J., Fariñas del Cerro, L.: Splitting epistemic logic programs. In: Balduccini, M., Lierler, Y., Woltran, S. (eds.) Proceedings of LPNMR 2019. LNCS, vol. 11481, pp. 120–133. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-030-20528-7_10
3. Costantini, S.: On the existence of stable models of non-stratified logic programs. Theory Pract. Logic Program. 6(1–2) (2006)
4. Costantini, S.: About epistemic negation and world views in epistemic logic programs. Theory Pract. Log. Program. 19(5–6), 790–807 (2019)
5. Costantini, S., Formisano, A.: Negation as a resource: a novel view on answer set semantics. Fund. Inform. 140(3–4), 279–305 (2015)