Pages that link to "Item:Q3623962"
From MaRDI portal
The following pages link to Reasoning About Epistemic States of Agents by Modal Logic Programming (Q3623962):
Displaying 5 items.
- Programming rational agents in a modal action logic (Q596475) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- Multimodal logic programming (Q2503328) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning (Q4586166) (← links)