Early Recovery in Logic Program Updates

João Alexandre Carvalho Pinheiro Leite

doi:10.1007/978-3-642-40564-8_50

Early Recovery in Logic Program Updates

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	Unknown
Title of host publication	Lecture Notes in Computer Science
Editors	P Cabalar, TC Son
Publisher	Springer
Pages	512-517
Volume	8148
ISBN (Electronic)	978-3-642-40564-8
ISBN (Print)	978-3-642-40563-1
DOIs	https://doi.org/10.1007/978-3-642-40564-8_50
Publication status	Published - 1 Jan 2013
Event	12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 - Corunna, Spain Duration: 15 Sept 2013 → 19 Sept 2013

Conference

Conference	12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013
Country/Territory	Spain
City	Corunna
Period	15/09/13 → 19/09/13

Access to Document

10.1007/978-3-642-40564-8_50

Cite this

@inproceedings{289e968f043d42f6a316adba2b2690a7,

title = "Early Recovery in Logic Program Updates",

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.",

keywords = "answer-set programming, updates, default negation, strong negation",

author = "Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro}",

year = "2013",

month = jan,

day = "1",

doi = "10.1007/978-3-642-40564-8_50",

language = "Unknown",

isbn = "978-3-642-40563-1",

volume = "8148",

pages = "512--517",

editor = "P Cabalar and TC Son",

booktitle = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Netherlands",

note = "12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 ; Conference date: 15-09-2013 Through 19-09-2013",

}

TY - GEN

T1 - Early Recovery in Logic Program Updates

AU - Leite, João Alexandre Carvalho Pinheiro

PY - 2013/1/1

Y1 - 2013/1/1

N2 - 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.

AB - 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.

KW - answer-set programming

KW - updates

KW - default negation

KW - strong negation

U2 - 10.1007/978-3-642-40564-8_50

DO - 10.1007/978-3-642-40564-8_50

M3 - Conference contribution

SN - 978-3-642-40563-1

VL - 8148

SP - 512

EP - 517

BT - Lecture Notes in Computer Science

A2 - Cabalar, P

A2 - Son, TC

PB - Springer

T2 - 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013

Y2 - 15 September 2013 through 19 September 2013

ER -