Ability and knowing how in the situation calculus
From MaRDI portal
Publication:1840653
DOI10.1023/A:1026761331498zbMath0968.68151OpenAlexW1511767298MaRDI QIDQ1840653
Fangzhen Lin, Richard B. Scherl, Hector J. Levesque, Yves Lespérance
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
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Analyzing generalized planning under nondeterminism, Knowledge-based programs as building blocks for planning, Resolving distributed knowledge, Indexical knowledge and robot action -- a logical account, Non-terminating processes in the situation calculus, Tableaux for the Logic of Strategically Knowing How, A modal loosely guarded fragment of second-order propositional modal logic, Probabilistic reasoning about epistemic action narratives, Reasoning about actions with loops via Hoare logic, Existential assertions and quantum levels on the tree of the situation calculus, What robots can do: robot programs and effective achievability, REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION, Asynchronous knowledge with hidden actions in the situation calculus, Knowledge, action, and the frame problem
Uses Software