3573 search results - page 593 / 715 » Reasoning about Codata |
98
Voted
AI
1998
Springer
15 years 15 days 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...
GEOINFORMATICA
1998
15 years 14 days 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...
89
Voted
CN
1999
15 years 14 days 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...
JOLLI
2010
14 years 11 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...
111
click to vote
RULEML
2010
Springer
14 years 11 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...