1083 search results - page 14 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
LPNMR
1999
Springer
15 years 4 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
ICLP
2001
Springer
15 years 4 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
CADE
2005
Springer
16 years 15 hour ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
ALP
1994
Springer
15 years 3 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...