Pages that link to "Item:Q1085632"
From MaRDI portal
The following pages link to A syntactic theory of belief and action (Q1085632):
Displayed 10 items.
- Maintaining mental models of agents who have existential misconceptions (Q1187220) (← links)
- The KL-ONE family (Q1202629) (← links)
- Syntactical treatments of propositional attitudes (Q1275601) (← links)
- A computational model of belief (Q1575433) (← links)
- The logic of tasks (Q1849860) (← links)
- Simulative belief logic (Q2446544) (← links)
- Indexical knowledge and robot action -- a logical account (Q2675278) (← links)
- Ideal and real belief about belief (Q4632302) (← links)
- Mechanizing multi-agent reasoning with belief contexts (Q4632330) (← links)
- Formalizing sensing actions -- a transition function based approach (Q5940779) (← links)