{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:13:09Z","timestamp":1778292789244,"version":"3.51.4"},"reference-count":58,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":6749,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1016\/0004-3702(94)00010-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:00:28Z","timestamp":1027634428000},"page":"69-115","source":"Crossref","is-referenced-by-count":18,"title":["Indexical knowledge and robot action\u2014a logical account"],"prefix":"10.1016","volume":"73","author":[{"given":"Yves","family":"Lesp\u00e9rance","sequence":"first","affiliation":[]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(94)00010-X_BIB1_1","author":"Agre","year":"1987"},{"issue":"3","key":"10.1016\/0004-3702(94)00010-X_BIB1_2","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/0004-3702(90)90078-E","volume":"43","author":"Agre","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00010-X_BIB2","series-title":"Proceedings AAAI-87","first-page":"268","article-title":"Pengi: an implementation of a theory of activity","author":"Agre","year":"1987"},{"key":"10.1016\/0004-3702(94)00010-X_BIB3","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0921-8890(05)80026-0","article-title":"What are plans for?","volume":"6","author":"Agre","year":"1990","journal-title":"Rob. Autonom. Syst."},{"key":"10.1016\/0004-3702(94)00010-X_BIB4","author":"Aho","year":"1974"},{"issue":"3","key":"10.1016\/0004-3702(94)00010-X_BIB5","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1305\/ndjfl\/1093636678","article-title":"Information and circumstance","volume":"27","author":"Barwise","year":"1986","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/0004-3702(94)00010-X_BIB6","author":"Barwise","year":"1983"},{"issue":"15","key":"10.1016\/0004-3702(94)00010-X_BIB7","doi-asserted-by":"crossref","first-page":"439","DOI":"10.2307\/2024296","article-title":"On the logic of attributions of self-knowledge to others","volume":"65","author":"Casta\u00f1eda","year":"1968","journal-title":"J. Philos."},{"key":"10.1016\/0004-3702(94)00010-X_BIB8","author":"Chellas","year":"1980"},{"key":"10.1016\/0004-3702(94)00010-X_BIB9","series-title":"Intentions in Communication","first-page":"221","article-title":"Rational interaction as the basis for communication","author":"Cohen","year":"1990"},{"key":"10.1016\/0004-3702(94)00010-X_BIB10","series-title":"Proceedings AAAI-88","first-page":"786","article-title":"Inferring ignorance from the locality of visual perception","author":"Davis","year":"1988"},{"key":"10.1016\/0004-3702(94)00010-X_BIB11","series-title":"Working Notes, IJCAI Workshop on Knowledge","first-page":"1","article-title":"Reasoning about hand-eye coordination","author":"Davis","year":"1989"},{"key":"10.1016\/0004-3702(94)00010-X_BIB12","series-title":"Proceedings First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"79","article-title":"Solutions to a paradox of perception with limited acuity","author":"Davis","year":"1989"},{"key":"10.1016\/0004-3702(94)00010-X_BIB13","article-title":"Logics of Time and Computation","volume":"7","author":"Goldblatt","year":"1987"},{"key":"10.1016\/0004-3702(94)00010-X_BIB14","article-title":"Topics in multi-agent epistemic logic","author":"Grove","year":"1992"},{"key":"10.1016\/0004-3702(94)00010-X_BIB15","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference","first-page":"301","article-title":"Naming and identity in a multi-agent epistemic logic","author":"Grove","year":"1991"},{"key":"10.1016\/0004-3702(94)00010-X_BIB16","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0004-3702(86)90051-2","article-title":"A syntactic theory of belief and action","volume":"28","author":"Haas","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00010-X_BIB17","series-title":"Indexical expressions and planning","author":"Haas","year":"1991"},{"key":"10.1016\/0004-3702(94)00010-X_BIB18","series-title":"Proceedings IJCAI-85","first-page":"480","article-title":"A guide to the modal logics of knowledge and belief: preliminary draft","author":"Halpern","year":"1985"},{"key":"10.1016\/0004-3702(94)00010-X_BIB19","author":"Hintikka","year":"1962"},{"key":"10.1016\/0004-3702(94)00010-X_BIB20","series-title":"Philosophical Logic","first-page":"21","article-title":"Semantics for the propositional attitudes","author":"Hintikka","year":"1969"},{"key":"10.1016\/0004-3702(94)00010-X_BIB21","author":"Hughes","year":"1968"},{"key":"10.1016\/0004-3702(94)00010-X_BIB22","article-title":"The role of propositional objects of belief in action","author":"Israel","year":"1987"},{"key":"10.1016\/0004-3702(94)00010-X_BIB23","series-title":"Reasoning about Actions and Plans: Proceedings of the 1986 Workshop","first-page":"395","article-title":"An architecture for intelligent systems","author":"Kaelbling","year":"1987"},{"key":"10.1016\/0004-3702(94)00010-X_BIB24","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0921-8890(05)80027-2","article-title":"Action and planning in embedded agents","volume":"6","author":"Kaelbling","year":"1990","journal-title":"Rob. Autonom. Syst."},{"key":"10.1016\/0004-3702(94)00010-X_BIB25","article-title":"A first order formalization of knowledge and action for a multi-agent planning system","volume":"10","author":"Konolige","year":"1982"},{"key":"10.1016\/0004-3702(94)00010-X_BIB26","author":"Konolige","year":"1986"},{"key":"10.1016\/0004-3702(94)00010-X_BIB27","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philos. Fennica"},{"key":"10.1016\/0004-3702(94)00010-X_BIB28","author":"Kronfeld","year":"1990"},{"key":"10.1016\/0004-3702(94)00010-X_BIB29","article-title":"A formal theory of indexical knowledge and action","author":"Lesp\u00e9rance","year":"1991"},{"key":"10.1016\/0004-3702(94)00010-X_BIB55","unstructured":"also published as Tech. Report CSRI-248."},{"key":"10.1016\/0004-3702(94)00010-X_BIB30","series-title":"Reasoning about Mental States: Formal Theories and Applications, Papers from the 1993 AAAI Spring Symposium","first-page":"79","article-title":"An approach to modeling indexicality in action and communication","author":"Lesp\u00e9rance","year":"1993"},{"key":"10.1016\/0004-3702(94)00010-X_BIB56_1","unstructured":"also Tech. Report SS-93-05, AAAI Press"},{"key":"10.1016\/0004-3702(94)00010-X_BIB56_2","series-title":"Proceedings IJCAI-93 Workshop on \u201cUsing Knowledge in its Context\u201d","author":"Lesp\u00e9rance","year":"1993"},{"key":"10.1016\/0004-3702(94)00010-X_BIB31","series-title":"Proceedings AAAI-90","first-page":"868","article-title":"Indexical knowledge in robot plans","author":"Lesp\u00e9rance","year":"1990"},{"key":"10.1016\/0004-3702(94)00010-X_BIB32","series-title":"Proceedings Tenth Biennial Conference of the Canadian Society for Computational Studies of Intelligence","first-page":"271","article-title":"An argument for indexical representations in temporal reasoning","author":"Lesp\u00e9rance","year":"1994"},{"key":"10.1016\/0004-3702(94)00010-X_BIB33","article-title":"On the logic of indexical knowledge and action","author":"Lesp\u00e9rance","year":"1995"},{"key":"10.1016\/0004-3702(94)00010-X_BIB34","series-title":"Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94)","article-title":"A formalization of ability and knowing how that avoids the frame problem","author":"Lesp\u00e9rance","year":"1994"},{"key":"10.1016\/0004-3702(94)00010-X_BIB35","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","article-title":"Foundations of a functional approach to knowledge representation","volume":"23","author":"Levesque","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00010-X_BIB36","series-title":"Proceedings AAAI-84","first-page":"198","article-title":"A logic of implicit and explicit belief","author":"Levesque","year":"1984"},{"issue":"4","key":"10.1016\/0004-3702(94)00010-X_BIB37","doi-asserted-by":"crossref","first-page":"513","DOI":"10.2307\/2184843","article-title":"Attitudes de dicto and de se","volume":"88","author":"Lewis","year":"1979","journal-title":"Philos. Rev."},{"key":"10.1016\/0004-3702(94)00010-X_BIB38","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"McCarthy","year":"1979"},{"key":"10.1016\/0004-3702(94)00010-X_BIB39","author":"Mendelson","year":"1979"},{"key":"10.1016\/0004-3702(94)00010-X_BIB40","article-title":"Reasoning about knowledge and action","volume":"191","author":"Moore","year":"1980"},{"key":"10.1016\/0004-3702(94)00010-X_BIB41","series-title":"Formal Theories of the Common Sense World","first-page":"319","article-title":"A formal theory of knowledge and action","author":"Moore","year":"1985"},{"key":"10.1016\/0004-3702(94)00010-X_BIB42","series-title":"Proceedings IJCAI-87","first-page":"867","article-title":"Knowledge preconditions for actions and plans","author":"Morgenstern","year":"1987"},{"key":"10.1016\/0004-3702(94)00010-X_BIB43","article-title":"Foundations of a logic of knowledge, action, and communication","author":"Morgenstern","year":"1988"},{"key":"10.1016\/0004-3702(94)00010-X_BIB44","series-title":"Reasoning Agents in a Dynamic World: The Frame Problem","article-title":"Knowledge and the frame problem","author":"Morgenstern","year":"1991"},{"issue":"1","key":"10.1016\/0004-3702(94)00010-X_BIB45","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","article-title":"The knowledge level","volume":"18","author":"Newell","year":"1982","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00010-X_BIB46","doi-asserted-by":"crossref","first-page":"3","DOI":"10.2307\/2214792","article-title":"The problem of the essential indexical","volume":"13","author":"Perry","year":"1979","journal-title":"No\u00fbs"},{"key":"10.1016\/0004-3702(94)00010-X_BIB47","series-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","first-page":"359","article-title":"The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression","author":"Reiter","year":"1991"},{"key":"10.1016\/0004-3702(94)00010-X_BIB48","series-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","first-page":"83","article-title":"The synthesis of digital machines with provable epistemic properties","author":"Rosenschein","year":"1986"},{"key":"10.1016\/0004-3702(94)00010-X_BIB49","series-title":"Proceedings AAA1-93","first-page":"689","article-title":"The frame problem and knowledge-producing actions","author":"Scherl","year":"1993"},{"key":"10.1016\/0004-3702(94)00010-X_BIB50","unstructured":"R.B. Scherl, H.J. Levesque and Y. Lesp\u00e9rance, Indexicals in the situation calculus, in preparation."},{"key":"10.1016\/0004-3702(94)00010-X_BIB51","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0004-3702(91)90056-P","article-title":"The owl and the electric encyclopedia","volume":"47","author":"Smith","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00010-X_BIB52","series-title":"Proceedings First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"467","article-title":"Making the situation calculus indexical","author":"Subramanian","year":"1989"},{"key":"10.1016\/0004-3702(94)00010-X_BIB53","author":"Suchman","year":"1987"},{"key":"10.1016\/0004-3702(94)00010-X_BIB54","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0004-3702(94)00013-Q","article-title":"Instructions, intentions and expectations","volume":"73","author":"Webber","year":"1995","journal-title":"Artif. Intell."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029400010X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029400010X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T00:29:02Z","timestamp":1555288142000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029400010X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":58,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["000437029400010X"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)00010-x","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}