4224 search results - page 366 / 845 » Reasoning about Choice |
171
Voted
SIAMCO
2000
15 years 7 months ago
2000
Positive real rational functions play a central role in both deterministic and stochastic linear systems theory, as well as in circuit synthesis, spectral analysis, and speech proc...
199
click to vote
AI
1998
Springer
15 years 7 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
207
click to vote
GEOINFORMATICA
1998
15 years 7 months ago
1998
An important component of spatial data quality is the imprecision resulting from the resolution at which data are represented. Current research on topics such as spatial data inte...
182
Voted
CN
1999
15 years 7 months ago
1999
In this paper we show how to improve the architecture of Web Information Systems (WISs) using design patterns, in particular navigational patterns. We first present a framework to...
187
click to vote
JOLLI
2010
15 years 6 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...