350 search results - page 5 / 70 » Reasoning About Indefinite Actions |
LOGCOM
1998
13 years 7 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
CI
2004
13 years 7 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
LPNMR
2005
Springer
14 years 28 days ago
2005
Springer
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
NMR
2004
Springer
14 years 24 days ago
2004
Springer