Early Recovery in Logic Program Updates

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 2013 - Corunna, Spain
Duration: 15 Sep 201319 Sep 2013

Conference

Conference12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013
CountrySpain
CityCorunna
Period15/09/1319/09/13

Cite this