Knowing-how under uncertainty
From MaRDI portal
Publication:2289005
DOI10.1016/J.ARTINT.2019.06.007zbMATH Open1478.03027OpenAlexW2955911323MaRDI QIDQ2289005FDOQ2289005
Authors: Jia Tao, Pavel Naumov 
Publication date: 20 January 2020
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2019.06.007
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
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- A course in metric geometry
- Alternating-time temporal logic
- The deliberative stit: A study of action, omission, ability, and obligation
- What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- A Modal Logic for Coalitional Power in Games
- Introduction to mathematical logic
- Agency and deontic logic
- Title not available (Why is that?)
- Group announcement logic
- Reasoning about strategies: on the model-checking problem
- Some first-order probability logics
- Strategy logic
- Decidability and expressiveness for first-order logics of probability
- Games in dynamic-epistemic logic
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Title not available (Why is that?)
- Logic of confidence
- Hardness of Embedding Metric Spaces of Equal Size
- A modal logic framework for reasoning about comparative distances and topology
- Constructive knowledge: what agents can achieve under imperfect information
- Complete axiomatization and decidability of alternating-time temporal logic
- Axiomatizing distance logics
- On the logic of cooperation and propositional control
- Reasoning about coalitional games
- Graded modalities in strategy logic
- 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)
- A Logic of Knowing How
- Title not available (Why is that?)
- ACTION TYPES IN STIT SEMANTICS
- Applications of a logic of knowledge to motion planning under uncertainty
- Calculus of cooperation and game-based reasoning about protocol privacy
- Reasoning about uncertainty
- Reasoning about knowledge and strategies: epistemic strategy logic
Cited In (14)
- A logic of goal-directed knowing how
- An epistemic logic of blameworthiness
- The logic of risky knowledge, reprised
- 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
- Propositional knowledge and know-how
- Planning-based knowing how: a unified approach
- Knowing the price of success
- Epistemic planning: perspectives on the special issue
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- Only knowing with degrees of confidence
- Tableaux for the Logic of Strategically Knowing How
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Uncertainty-based semantics for multi-agent knowing how logics
- Achieving while maintaining: a logic of knowing how with intermediate constraints
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)
