In recent work, we provided a formulation of ASP programs in terms of linear logic theories. Based on this work, in this paper we propose and discuss a modified Answer Set Semantics, "Resource-based Answer Set Semantics". © 2013 Springer-Verlag.
CITATION STYLE
Costantini, S., & Formisano, A. (2013). Negation as a resource: A novel view on answer set semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8148 LNAI, pp. 257–263). https://doi.org/10.1007/978-3-642-40564-8_26
Mendeley helps you to discover research relevant for your work.