1083 search results - page 16 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
140
click to vote
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...
131
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
115
Voted
RR
2009
Springer
15 years 11 months ago
2009
Springer
125
click to vote
TIME
1994
IEEE
15 years 9 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
175
click to vote
OPODIS
2003
15 years 6 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...