248 search results - page 21 / 50 » On the existence of stable models of non-stratified logic pr... |
LPKR
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
183
click to vote
ICLP
2009
Springer
16 years 11 days ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
89
Voted
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
FAC
2008
14 years 11 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
171
click to vote
CP
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...