417 search results - page 52 / 84 » Results on Reasoning about Updates in Transaction Logic |
107
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
In a dynamic market, being able to update one’s value based on information available to other bidders currently in the market can be critical to having profitable transactions. ...
77
Voted
CHI
2007
ACM
15 years 4 months ago
2007
ACM
Monitoring occurs when users return to previously viewed web pages to view new or updated information. While tools exist to support web-based monitoring, we know little about the ...
102
Voted
ENTCS
2008
15 years 18 days ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
103
click to vote
ICMLA
2007
15 years 2 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
137
Voted
STACS
1993
Springer
15 years 4 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...