Early Recovery in Logic Program Updates

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.
Original languageUnknown
Title of host publicationLecture Notes in Computer Science
EditorsP Cabalar, TC Son
PublisherSpringer
Pages512-517
Volume8148
ISBN (Electronic)978-3-642-40564-8
ISBN (Print)978-3-642-40563-1
DOIs
Publication statusPublished - 1 Jan 2013
Event12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) -
Duration: 1 Jan 2013 → …

Conference

Conference12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
Period1/01/13 → …

Cite this