The following pages link to Wiebe van der Hoek (Q343910):
Displaying 40 items.
- (Q4536604) (← links)
- (Q4536751) (← links)
- (Q4537434) (← links)
- (Q4540938) (← links)
- (Q4636038) (← links)
- (Q4636290) (← links)
- (Q4661972) (← links)
- (Q4681370) (← links)
- (Q4681371) (← links)
- (Q4697032) (← links)
- (Q4713374) (← links)
- (Q4738121) (← links)
- (Q4738161) (← links)
- (Q4738167) (← links)
- (Q4738471) (← links)
- Counting Objects (Q4835536) (← links)
- (Q4835902) (← links)
- (Q4858037) (← links)
- (Q4867029) (← links)
- Connecting dynamic epistemic and temporal epistemic logics (Q4925178) (← links)
- (Q4955425) (← links)
- Completeness and Complexity of Multi-modal CTL (Q4982125) (← links)
- (Q5015383) (← links)
- (Q5016796) (← links)
- Revision by communication (Q5101450) (← links)
- Program models and semi-public environments (Q5215818) (← links)
- When Are Two Gossips the Same? (Q5222944) (← links)
- Revising and updating using a back-up semantics (Q5236447) (← links)
- Structures for Epistemic Logic (Q5249675) (← links)
- (Q5282950) (← links)
- (Q5296759) (← links)
- Logics in Artificial Intelligence (Q5394136) (← links)
- The Performance of Option—Trading Software Agents: Initial Results (Q5442756) (← links)
- (Q5483016) (← links)
- (Q5695989) (← links)
- (Q5711865) (← links)
- GOAL Agents Instantiate Intention Logic (Q5891662) (← links)
- GOAL Agents Instantiate Intention Logic (Q5900403) (← links)
- Deontic Logic in Computer Science (Q5901586) (← links)
- Simple Axioms for Local Properties (Q6199600) (← links)