Pages that link to "Item:Q1770620"
From MaRDI portal
The following pages link to Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620):
Displaying 4 items.
- A sequent calculus for propositional dynamic logic for agents with interactions (Q852274) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles (Q3457707) (← links)
- Formal Modelling of Emotions in BDI Agents (Q3602941) (← links)
