1153 search results - page 108 / 231 » The Complexity of Revision, Revised |
166
click to vote
AI
1998
Springer
15 years 5 months ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
181
click to vote
TPLP
2002
15 years 5 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...
216
click to vote
JCST
2010
15 years 24 days ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
260
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
We report on our experience with the hardware transactional memory (HTM) feature of two pre-production revisions of a new commercial multicore processor. Our experience includes a...
145
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Digital content is for copying: quotation, revision, plagiarism, and file sharing all create copies. Document fingerprinting is concerned with accurately identifying copying, incl...