A Logical Approach to the Dynamics of Commitments
暂无分享,去创建一个
[1] Jon Doyle,et al. Preferential Semantics for Goals , 1991, AAAI.
[2] Anand S. Rao,et al. Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.
[3] Leora Morgenstern,et al. Knowledge Preconditions for Actions and Plans , 1988, IJCAI.
[4] J. Armstrong. Knowledge and Belief , 1953 .
[5] J. Davenport. Editor , 1960 .
[6] Craig Boutilier,et al. Toward a Logic for Qualitative Decision Theory , 1994, KR.
[7] Yoav Shoham,et al. Non-monotonic temporal reasoning , 1995 .
[8] Gerhard Weiss,et al. Multiagent Systems , 1999 .
[9] John-Jules Ch. Meyer,et al. A Logic of Capabilities , 1994, LFCS.
[10] M. Georgeff,et al. Rational software agents: from theory to practice , 1998 .
[11] John-Jules Ch. Meyer,et al. Actions That Make You Change Your Mind (Extended Abstract) , 1995, KI.
[12] Raymond Reiter,et al. Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..
[13] Frank Dignum,et al. Modelling Social Agents: Communication as Action , 1996, ATAL.
[14] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[15] Koen V. Hindriks,et al. Formal Semantics for an Abstract Agent Programming Language , 1997, ATAL.
[16] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.
[17] Frank S. de Boer,et al. Systems of Communicating Agents , 1998, ECAI.
[18] R. L. Atkinson,et al. Hilgard's Introduction to Psychology , 1999 .
[19] John-Jules Ch. Meyer,et al. Tests as Epistemic Updates , 1994, ECAI.
[20] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.
[21] Frank S. de Boer,et al. Information-Passing and Belief Revision in Multi-Agent Systems , 1998, ATAL.
[22] Hector-Neri Castañeda,et al. The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop , 1981 .
[23] Frank Dignum,et al. Modelling rational agents in a dynamic environment: Putting humpty dumpty together again , 1996 .
[24] Frank Dignum,et al. A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation , 1996, DEON.
[25] John-Jules Ch. Meyer,et al. Formalising Motivational Attitudes of Agents , 1995, ATAL.
[26] Geoffrey K. Pullum,et al. Category Structures , 1988, Comput. Linguistics.
[27] Leslie Pack Kaelbling,et al. The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.
[28] Roel Wieringa,et al. Deontic logic: a concise overview , 1994 .
[29] Nicholas R. Jennings,et al. Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.
[30] Hector J. Levesque,et al. Intention is Choice with Commitment , 1990, Artif. Intell..
[31] Jörgen Jörgensen,et al. Imperatives and logic , 1937, Erkenntnis.
[32] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[33] Richard C. Atkinson,et al. Hilgard's introduction to psychology, 12th ed. , 1996 .
[34] W. Hoek,et al. Formalising abilities and opportunities of agents , 1998 .
[35] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[36] A. S. Roa,et al. AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .
[37] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[38] Fangzhen Lin,et al. State Constraints Revisited , 1994, J. Log. Comput..
[39] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[40] K. Konolige. A deduction model of belief , 1986 .
[41] A. Montefiore. NORM AND ACTION , 1964 .
[42] J. Neumann,et al. Theory of games and economic behavior , 1945, 100 Years of Math Milestones.
[43] Anand S. Rao,et al. The Semantics of Intention Maintenance for Rational Agents , 1995, IJCAI.
[44] Yoav Shoham,et al. Agent-Oriented Programming , 1992, Artif. Intell..
[45] David J. Israel,et al. Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..
[46] W. van der Hoek,et al. Unravelling nondeterminism: On having the ability to choose , 1993 .
[47] John-Jules Ch. Meyer,et al. The Dynamics of Default Reasoning , 1997, Data Knowl. Eng..
[48] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[49] Daniel Marcu,et al. Foundations of a Logical Approach to Agent Programming , 1995, ATAL.
[50] Anand Srinivasa Rao,et al. Revisiting rationality for agents with intentions 1 , 1995 .
[51] Daniela D'Aloisi,et al. A Framework for Dealing with Belief-Goal Dynamics , 1995, AI*IA.
[52] John-Jules Ch. Meyer,et al. Formalising Abilities and Opportunities of Agents , 1998, Fundam. Informaticae.
[53] Alf Ross,et al. Imperatives and Logic , 1944, Philosophy of Science.