4224 search results - page 109 / 845 » Reasoning about Choice |
148
click to vote
HUC
2009
Springer
15 years 10 months ago
2009
Springer
Personal energy consumption, specifically home energy consumption such as heating, cooling, and electricity, has been an important environmental and economic topic for decades. De...
162
click to vote
PODS
1990
ACM
15 years 9 months ago
1990
ACM
- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...
192
click to vote
AAAI
2012
13 years 7 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
130
click to vote
ASP
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
138
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...