Pages that link to "Item:Q2716928"
From MaRDI portal
The following pages link to A computationally grounded logic of visibility, perception, and knowledge (Q2716928):
Displaying 10 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Levels of modality for BDI logic (Q456714) (← links)
- A logic of situated resource-bounded agents (Q1006513) (← links)
- Logical-epistemic foundations of general game descriptions (Q2016080) (← links)
- Seeing, Knowledge and Common Knowledge (Q3094012) (← links)
- A logic of sights (Q3133164) (← links)
- (Q3200589) (← links)
- Quantified Coalition Logic of Knowledge, Belief and Certainty (Q3305131) (← links)
- Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules (Q5693113) (← links)
- Program semantics and verification technique for AI-centred programs (Q6174548) (← links)