2519 search results - page 257 / 504 » Reasoning with Textual Cases |
147
click to vote
ENTCS
2002
15 years 6 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
168
click to vote
AI
1998
Springer
15 years 6 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...
179
click to vote
KBS
1998
15 years 6 months ago
1998
This paper describes a document retrieval system called CAIRN that uses a case-based reasoning set using a large lexicon to automatically generate a case index to that document se...
163
click to vote
IJIS
2010
15 years 3 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
189
click to vote
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
14 years 6 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...