An Open Problem in the Logic of Knowing How

[1]  Robert Demolombe,et al.  Belief Change: from Situation Calculus to Modal Logic , 2003, J. Appl. Non Class. Logics.

[3]  Maarten Marx,et al.  Situation Calculus as Hybrid Logic: First Steps , 2001, EPIA.

[4]  Hector J. Levesque,et al.  Ability and Knowing How in the Situation Calculus , 2000, Stud Logica.

[5]  P. T. Geach,et al.  KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .

[6]  John-Jules Ch. Meyer,et al.  Formalising Abilities and Opportunities of Agents , 1998, Fundam. Informaticae.

[7]  Jean-Pierre Briot,et al.  Principes et architecture des systèmes multi-agents , 2000 .

[8]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[9]  Munindar P. Singh.  Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications , 1994, Lecture Notes in Computer Science.

[10]  Steven E. Boër,et al.  Knowing Who , 1985 .

[11]  David R. Dowty,et al.  Word Meaning and Montague Grammar , 1979 .

[12]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[13]  Yves Lespérance.  On the Epistemic Feasibility of Plans in Multiagent Systems Specifications , 2003, Log. J. IGPL.

[14]  J. Hintikka.  Rules, Games and Experiences: Wittgenstein’s Discussion of Rule-Following in the Light of His Development , 1996 .

[15]  Z. Vendler.  Linguistics in Philosophy , 1967 .

[16]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .