580 search results - page 91 / 116 » On the Foundations of Answer Set Programming |
126
click to vote
CIKM
2011
Springer
13 years 12 months ago
2011
Springer
A continuous top-k query retrieves the k most preferred objects in a data stream according to a given preference function. These queries are important for a broad spectrum of appl...
111
click to vote
TPLP
2002
14 years 11 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
100
Voted
SIGSOFT
2009
ACM
16 years 19 days ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
BIRTHDAY
2000
Springer
15 years 4 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...