4224 search results - page 182 / 845 » Reasoning about Choice |
223
click to vote
AI
2007
Springer
15 years 7 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
160
click to vote
ANTS
2004
Springer
16 years 14 days ago
2004
Springer
We present algorithms for computing the squared Weil and Tate pairings on an elliptic curve and the squared Tate pairing for hyperelliptic curves. The squared pairings introduced i...
171
click to vote
MANSCI
2008
15 years 7 months ago
2008
This paper is about ...nancial contracting choices for the entrepreneur. In an incomplete contracts model, the entrepreneur can design contracts contingent on three possible contr...
223
click to vote
LPNMR
1999
Springer
15 years 11 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
190
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...