Knowing-how under uncertainty
From MaRDI portal
Recommendations
- COPING WITH UNCERTAINTY FOR KNOWLEDGE ACQUISITION AND INFERENCE MECHANISM
- Learning-by-doing under uncertainty
- Understanding uncertainty
- Reasoning about uncertainty
- A methodology for uncertainty in knowledge-based systems
- Knowledge without complete certainty
- (Un)knowability and knowledge iteration
- scientific article; zbMATH DE number 53618
Cites work
- A course in metric geometry
- A Logic of Knowing How
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- A Modal Logic for Coalitional Power in Games
- A modal logic framework for reasoning about comparative distances and topology
- ACTION TYPES IN STIT SEMANTICS
- Agency and deontic logic
- Alternating-time temporal logic
- Applications of a logic of knowledge to motion planning under uncertainty
- Axiomatizing distance logics
- Calculus of cooperation and game-based reasoning about protocol privacy
- Complete axiomatization and decidability of alternating-time temporal logic
- Constructive knowledge: what agents can achieve under imperfect information
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Decidability and expressiveness for first-order logics of probability
- Games in dynamic-epistemic logic
- Graded modalities in strategy logic
- Group announcement logic
- Hardness of Embedding Metric Spaces of Equal Size
- scientific article; zbMATH DE number 2182496 (Why is no real title available?)
- scientific article; zbMATH DE number 7297884 (Why is no real title available?)
- scientific article; zbMATH DE number 3238721 (Why is no real title available?)
- scientific article; zbMATH DE number 3240929 (Why is no real title available?)
- Introduction to mathematical logic
- Logic of confidence
- On the logic of cooperation and propositional control
- Reasoning about coalitional games
- Reasoning about knowledge and strategies: epistemic strategy logic
- Reasoning about strategies: on the model-checking problem
- Reasoning about uncertainty
- Some first-order probability logics
- Strategy logic
- The deliberative stit: A study of action, omission, ability, and obligation
- Together we know how to achieve: an epistemic logic of know-how
- Together we know how to achieve: an epistemic logic of know-how (extended abstract)
- What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics
Cited in
(15)- Propositional knowledge and know-how
- An epistemic logic of blameworthiness
- A logic of goal-directed knowing how
- Planning-based knowing how: a unified approach
- Only knowing with degrees of confidence
- Epistemic logic and philosophy of mathematics. With the participation of Serge Bozon, Mikael Cozic, Paul Egré, François Rivenc and Gabriel Sandu. Edited and with a foreword by Thierry Martin and Philippe Mongin
- The logic of risky knowledge, reprised
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Achieving while maintaining: a logic of knowing how with intermediate constraints
- Epistemic planning: perspectives on the special issue
- Tableaux for the Logic of Strategically Knowing How
- Uncertainty-based semantics for multi-agent knowing how logics
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- Uncertainty-based knowing how logic
- Knowing the price of success
This page was built for publication: Knowing-how under uncertainty
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289005)
