Ability and knowing how in the situation calculus
DOI10.1023/A:1026761331498zbMATH Open0968.68151OpenAlexW1511767298MaRDI QIDQ1840653FDOQ1840653
Authors: Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl 
Publication date: 11 February 2001
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026761331498
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic in artificial intelligence (68T27)
Cited In (22)
- Probabilistic reasoning about epistemic action narratives
- Reasoning with protocols under imperfect information
- Ability in a Multi-agent Context: A Model in the Situation Calculus
- Indexical knowledge and robot action -- a logical account
- On knowledge-based programming with sensing in the situation calculus
- Analyzing generalized planning under nondeterminism
- Reasoning about actions with loops via Hoare logic
- Knowledge, action, and the frame problem
- What robots can do: robot programs and effective achievability
- A logical theory of coordination and joint ability
- Knowledge-based programs as building blocks for planning
- Existential assertions and quantum levels on the tree of the situation calculus
- Resolving distributed knowledge
- What observations really tell us
- A modal loosely guarded fragment of second-order propositional modal logic
- Non-terminating processes in the situation calculus
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- Asynchronous knowledge with hidden actions in the situation calculus
- Tableaux for the Logic of Strategically Knowing How
- How easy it is to know how: an upper bound for the satisfiability problem
- First steps in updating knowing how
- Uncertainty-based semantics for multi-agent knowing how logics
Uses Software
This page was built for publication: Ability and knowing how in the situation calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840653)
