We pinpoint the limitations of existing approaches to the treatment of strong and default negation in answer-set program updates and formulate the early recovery principle that plausibly constrains their interaction. © 2013 Springer-Verlag.
CITATION STYLE
Slota, M., Baláž, M., & Leite, J. (2013). Early recovery in logic program updates. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8148 LNAI, pp. 512–517). https://doi.org/10.1007/978-3-642-40564-8_50
Mendeley helps you to discover research relevant for your work.