1614 search results - page 68 / 323 » Planning as Temporal Reasoning |
150
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
179
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
166
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
187
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
184
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonall...