2253 search results - page 178 / 451 » The ComFoRT Reasoning Framework |
93
Voted
CORR
2002
Springer
14 years 11 months ago
2002
Springer
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant...
GEOINFORMATICA
1998
14 years 10 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...
CN
1999
14 years 10 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...
MOC
2002
14 years 10 months ago
2002
This paper is concerned with the stability of rational one-step approximations of C0 semigroups. Particular emphasis is laid on long-term stability bounds. The analysis is based on...
JOLLI
2010
14 years 9 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...