|
6
|
Formalising Motivational Attitudes of Agents
– B van Linder, W van der Hoek, J J C Meyer
- 1996
|
|
59
|
A Representationalist Theory of Intention
– Kurt Konolige, Martha E. Pollack
- 1990
|
|
774
|
Intention is choice with commitment
– Phil Cohen, Hector Levesque
- 1990
|
|
293
|
A formal theory of knowledge and action
– R C Moore
- 1985
|
|
28
|
The Semantics of Intention Maintenance for Rational Agents
– Michael P. Georgeff , Anand S. Rao
- 1995
|
|
1
|
METAFOL: una Metateoria Meccanizzata per un Sistema Deduttivo Auto-riflessivo
– M Benerecetti
- 1995
|
|
25
|
The GETFOL Manual - GETFOL version 1
– F Giunchiglia
- 1992
|
|
4
|
Architetture Riflessive per la Deduzione Automatica
– A Armando
- 1993
|
|
15
|
Introspective Metatheoretic Reasoning
– Fausto Giunchiglia, Alessandro Cimatti
- 1994
|
|
5
|
HGKM Manual - a revised version
– F Giunchiglia, A Cimatti
- 1989
|
|
41
|
Control Flow Semantics
– J de Bakker, E de Vink
- 1996
|
|
185
|
Modal and Temporal Logics
– C Stirling
- 1993
|
|
191
|
Semantical considerations on Floyd-Hoare Logic
– Vaughan R. Pratt
- 1976
|
|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
1
|
Cross-level planning
– Richard Bartle
- 1988
|
|
1
|
Reasoning about concurrent action, prioritized interrupts, and exogenous actions in the situation calculus
– GG De Giacomo, Y L'esperance, HL Levesque
- 1997
|
|
1
|
Transformational planning of reactive behaviour. Research report YALEU/DCS/RR-941
– Drew McDermott
- 1992
|
|
5
|
Robot Planning, Execution, and Monitoring in an Uncertain Environment
– John H Munson
- 1971
|
|
2
|
Actions on belief
– SWD Steel
- 1994
|
