80 search results - page 1 / 16 » Hypothetical Temporal Reasoning in Databases |
JIIS
2002
13 years 10 months ago
2002
In this paper we integrate a history
TIME
1994
IEEE
14 years 3 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
DAGSTUHL
1998
14 years 6 days ago
1998
Hypothetical queries are queries embedding hypotheses about the database. The embedded hypothesis in a hypothetical query indicates, so to say, a state of the database intended for...
TIME
2002
IEEE
14 years 3 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
DLOG
2008
14 years 1 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...