The Internet Archive has a preservation copy of this work in our general collections.
The file type is
Previous research into the relation between ASP and classical logic has identified at least two different ways in which the former extends the latter. First, ASP program typically contain sets of rules that can be naturally interpreted as inductive definitions, and the language FO(ID) has shown that such inductive definitions can elegantly be added to classical logic in a modular way. Second, there is of course also the well-known epistemic component of ASP, which was mainly emphasized in thearXiv:1301.1395v1 fatcat:wfmhgcotj5aapozfwgdfllvwei