Goal specification in presence of non-deterministic Actions

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 273-277

  Baral, Chitta ^a   Zhao, Jicheng ^a  

^a Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS; TEMPORAL LOGIC;

BRANCHING-TIME TEMPORAL LOGIC; COGNITIVE AGENTS; COGNITIVE ROBOTS; DETERMINISTICS; GOAL SPECIFICATIONS; SIMPLE++;

SPECIFICATION LANGUAGES;

EID: 85017401155     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (8)

1. F. Bacchus and F. Kabanza, Planning for temporally extended goals, Annals of Math and AI, 22, 5-27, (1998).
2. C. Baral, V. Kreinovich, and R. Trejo, Computational complexity of planning with temporal goals, in IJCAI 2001, (2001).
3. U. Dal Lago, M. Pistore, and P. Traverso, Planning with a language for extended goals, in AAAI'02, pp. 447-454, (2002).
4. E. A. Emerson, Temporal and modal logic, in Handbook of theoretical computer science: volume B, ed., J. van Leeuwen, 995-1072, MIT Press, (1990).
5. Z. Manna and A. Pnueli, The temporal logic of reactive and concurrent systems: specification, Springer Verlag, 1992.
6. M. Nakamura, C. Baral, and M. Bjareland, Maintainability: A weaker stabilizability like notion for high level control, in Proc. of AAAI'00, pp. 62-67, (2000).
7. R. Niyogi and S. Sarkar, Logical specification of goals, in Proc. of 3rd international conference on Information Technology, pp. 77-82, (2000).
8. M. Pistore and P. Traverso, 'Planning as model checking for extended goals in non-deterministic domains', in IJCAI'01, (2001).