Thinking takes time: a modal active-logic for reasoning IN time
暂无分享,去创建一个
[1] Madhura Nirkhe. Time-Situated Reasoning within Tight Deadlines and Realistic Space and Computation Bounds , 1994, AAAI.
[2] László Dezsö,et al. Universal Grammar , 1981, Certainty in Action.
[3] N. Malcolm. On Knowledge and Belief , 1954 .
[4] Donald Perlis,et al. Stop the world—I want to think , 1990, Int. J. Intell. Syst..
[5] Sarit Kraus,et al. Knowledge, Belief and Time , 1986, Theor. Comput. Sci..
[6] Donald Perlis,et al. Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..
[7] Daniel Lehmann,et al. Knowledge, common knowledge and related puzzles (Extended Summary) , 1984, PODC '84.
[8] Richard T. Snodgrass,et al. Extending the relational algebra to support transaction time , 1987, SIGMOD '87.
[9] Kurt Konolige. A Deductive Model of Belief , 1983, IJCAI.
[10] K. Konolige. A deduction model of belief , 1986 .
[11] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[12] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[13] Gary G. Hendrix,et al. Computational Models of Belief and the Semantics of Belief Sentences , 1982 .
[14] Gerhard Lakemeyer. Steps Towards a First-Order Logic of Explicit and Implicit Belief , 1986, TARK.
[15] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[16] Moshe Y. Vardi. On Epistemic Logic and Logical Omniscience , 1986, TARK.
[17] Richard E. Ladner,et al. The Logic of Distributed Protocols , 1986, TARK.
[18] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[19] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[20] Nicholas Asher,et al. Reasoning about Belief and Knowledge with Self-Reference and Time , 1988, TARK.
[21] Sarit Kraus,et al. Fully Deadline-Coupled Planning: One Step at a Time , 1991, ISMIS.
[22] Donald Perlis,et al. Step-logic: reasoning situated in time , 1988 .
[23] Sarit Kraus,et al. Preliminary thoughts on an agent description language , 1991, Int. J. Intell. Syst..
[24] J. McCarthy. Formalization of two Puzzles Involving Knowledge , 1987 .