1614 search results - page 103 / 323 » Planning as Temporal Reasoning |
155
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
176
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
145
click to vote
ICAISC
2004
Springer
15 years 11 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
178
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Evaluation of complex event queries over time involves storing information about those events that are relevant for, i.e., might contribute to, future answers. We call the period ...
156
click to vote
IGPL
2007
15 years 6 months ago
2007
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’...