417 search results - page 26 / 84 » Results on Reasoning about Updates in Transaction Logic |
133
click to vote
ISKI
1994
15 years 4 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
ECSQARU
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
112
click to vote
JANCL
2002
15 years 5 days ago
2002
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is ...
86
Voted
KR
2004
Springer
15 years 5 months ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
88
Voted
COLCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—In many applications, transaction data arrive in the form of high speed data streams. These data contain a lot of information about customers that needs to be carefully managed ...