789 search results - page 96 / 158 » On Theory Revision with Queries |
125
Voted
TPLP
2002
15 years 12 days 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...
200
Voted
ICDE
2005
IEEE
16 years 2 months ago
2005
IEEE
Many scientific applications generate massive volumes of data through observations or computer simulations, bringing up the need for effective indexing methods for efficient stora...
101
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we consider the problem of managing and exploiting schedules in an uncertain and distributed environment. We assume a team of collaborative agents, each responsible ...
98
Voted
AIIDE
2008
15 years 3 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
122
click to vote
BMCBI
2010
15 years 27 days ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...