114 search results - page 4 / 23 » Skeptical Rational Extensions |
PARA
2004
Springer
14 years 22 days ago
2004
Springer
Rational Krylov is an extension of the Lanczos or Arnoldi eigenvalue algorithm where several shifts (matrix factorizations) are used in one run. It corresponds to multipoint moment...
ANTS
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. This paper presents an investigative account of arbitrary cubic function fields. We present an elementary classification of the signature of a cubic extension of a rati...
CLIMA
2007
13 years 8 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
IJCAI
2001
13 years 8 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
DSVIS
2003
Springer
14 years 18 days ago
2003
Springer
A new discipline, Usability Design, is proposed as an extension to Rational Unified Process (RUP). The aim is to make RUP more user-centred. The discipline springs out of best prac...