José Júlio Alferes Federico Banti Antonio Brogi Joao Alexandre Leite

Studia Logica 79 (1):7-32 (2005)

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s11225-005-0492-y
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,148
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Equivalence of Defeasible Normative Systems.José Júlio Alferes, Ricardo Gonçalves & João Leite - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):25-48.
Belief, Provability, and Logic Programs.José Júlio Alferes & Luís Moniz Pereira - 1995 - Journal of Applied Non-Classical Logics 5 (1):31-50.
Modalities and Multimodalities.Alexandre Costa-Leite - 2013 - Manuscrito 36 (1):191-195.
A Unifying Perspective on Knowledge Updates.Martin Slota & João Leite - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 372--384.


Added to PP index

Total views
20 ( #459,659 of 2,285,426 )

Recent downloads (6 months)
2 ( #578,621 of 2,285,426 )

How can I increase my downloads?


My notes

Sign in to use this feature