The following pages link to Knowledge-based programs (Q5137342):
Displaying 16 items.
- Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- Optimal aggregation algorithms for middleware. (Q1401963) (← links)
- Propositional gossip protocols (Q2140515) (← links)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- The logic of gossiping (Q2211849) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- Characterizing solution concepts in terms of common knowledge of rationality (Q2398190) (← links)
- Minimal number of calls in propositional protocols (Q2695494) (← links)
- (Q5015383) (← links)
- (Q5015399) (← links)
- (Q5018499) (← links)
- A note on knowledge-based programs and specifications (Q5137901) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- An epistemic separation logic with action models (Q6117141) (← links)
- Interpreting knowledge-based programs (Q6535240) (← links)
