417 search results - page 15 / 84 » Results on Reasoning about Updates in Transaction Logic |
96
Voted
ISCA
2008
IEEE
15 years 6 months ago
2008
IEEE
A high-concurrency transactional memory (TM) implementation needs to track concurrent accesses, buffer speculative updates, and manage conflicts. We present a system, FlexTM (FLE...
100
click to vote
ICDT
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...
105
Voted
ECAI
1992
Springer
15 years 4 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
132
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
126
Voted
AI
2010
Springer
15 years 18 days ago
2010
Springer
How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in...