The following pages link to A Logic of Knowing How (Q3457721):
Displaying 25 items.
- Knowing the price of success (Q785233) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- An epistemic logic of blameworthiness (Q1989408) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Multi-agent conformant planning with distributed knowledge (Q2148824) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- A logic of knowing why (Q2693121) (← links)
- Tableau-based decision procedure for logic of knowing-how via simple plans (Q2695519) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- (Q3384085) (← links)
- (Q3384090) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Achieving While Maintaining: (Q5224498) (← links)
- Stit semantics for epistemic notions based on information disclosure in interactive settings (Q5919130) (← links)
- Tableaux for the Logic of Strategically Knowing How (Q6118724) (← links)
- Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract) (Q6118741) (← links)
- Neighborhood semantics for logic of knowing how (Q6147178) (← links)
- How easy it is to know how: an upper bound for the satisfiability problem (Q6545554) (← links)
- First steps in updating knowing how (Q6550518) (← links)
- Uncertainty-based semantics for multi-agent knowing how logics (Q6642564) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)
