1083 search results - page 52 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
107
click to vote
LPNMR
1995
Springer
15 years 5 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
112
click to vote
CLIMA
2004
15 years 3 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
139
click to vote
AIPS
2009
15 years 3 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
149
click to vote
ENTCS
2006
15 years 1 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
137
click to vote
LPAR
1994
Springer
15 years 6 months ago
1994
Springer
In this paper we develop a generic declarative diagnoser for normal logic programs that is based on tree search. The soundness and the completeness of the diagnoser are proved. The...