4595 search results - page 204 / 919 » Reasoning about Plans |
170
click to vote
ICAISC
2004
Springer
16 years 18 days 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
ICTAI
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents an approach to building plans using partially observable Markov decision processes. The approach begins with a base solution that assumes full observability. T...
187
click to vote
NIPS
2003
15 years 8 months ago
2003
We present a connectionist architecture that can learn a model of the relations between perceptions and actions and use this model for behavior planning. State representations are...
199
click to vote
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
212
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...