Knowing-how under uncertainty
From MaRDI portal
Publication:2289005
DOI10.1016/j.artint.2019.06.007zbMath1478.03027OpenAlexW2955911323MaRDI QIDQ2289005
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
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items
BISIMULATIONS FOR KNOWING HOW LOGICS, Epistemic planning: perspectives on the special issue, Tableaux for the Logic of Strategically Knowing How, Planning-based knowing how: a unified approach, An epistemic logic of blameworthiness, Knowing the price of success
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic of confidence
- A modal logic framework for reasoning about comparative distances and topology
- Reasoning about coalitional games
- Group announcement logic
- Strategy logic
- Decidability and expressiveness for first-order logics of probability
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Some first-order probability logics
- Graded modalities in strategy logic
- Together we know how to achieve: an epistemic logic of know-how
- The deliberative stit: A study of action, omission, ability, and obligation
- Complete axiomatization and decidability of alternating-time temporal logic
- On the logic of cooperation and propositional control
- Calculus of cooperation and game-based reasoning about protocol privacy
- Reasoning About Strategies
- Games in Dynamic-Epistemic Logic
- Alternating-time temporal logic
- A Logic of Knowing How
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- Hardness of Embedding Metric Spaces of Equal Size
- Constructive knowledge: what agents can achieve under imperfect information
- Axiomatizing Distance Logics
- A Modal Logic for Coalitional Power in Games
- Applications of a logic of knowledge to motion planning under uncertainty
- ACTION TYPES IN STIT SEMANTICS
