Paper Info
Title
On Supporting Strong and Default Negation in Answer-Set Program Updates.
Abstract
Existing semantics for answer-set program updates fall into two categories: either they consider only strong negation in heads of rules, or they primarily rely on default negation in heads of rules and optionally provide support for strong negation by means of a syntactic transformation. In this paper we pinpoint the limitations of both these approaches and argue that both types of negation should be first-class citizens in the context of updates. We identify principles that plausibly constrain their interaction but are not simultaneously satisfied by any existing rule update semantics. Then we extend one of the most advanced semantics with direct support for strong negation and show that it satisfies the outlined principles as well as a variety of other desirable properties.
Year
DOI
Venue
2014
10.1007/978-3-319-12027-0_4
ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014)
Field
DocType
Volume
Logic program,Programming language,Negation,Computer science,Logic programming,Syntax,Semantics
Conference
8864
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
27
3
Name
Order
Citations
PageRank
Martin Slota117412.43
Martin Baláz211.38
João Alexandre Leite377254.57