Intelligent agents and common sense reasoning
暂无分享,去创建一个
[1] John-Jules Ch. Meyer,et al. Seeing Is Believing , 1997, J. Log. Lang. Inf..
[2] Angelika Kratzer,et al. Partition and revision: The semantics of counterfactuals , 1981, J. Philos. Log..
[3] Frans Voorbraak,et al. The Logic of Objective Knowledge and Rational Belief , 1990, JELIA.
[4] Dov M. Gabbay,et al. Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .
[5] Heinrich Wansing,et al. Knowledge and belief in philosophy and artificial intelligence , 1995 .
[6] Andreas Herzig,et al. Conditionals: from philosophy to computer science , 1996 .
[7] Tanya Matthews,et al. Proceedings from Semantics and Linguistic Theory IX , 1999 .
[8] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[9] Frank Dignum,et al. Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.
[10] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.
[11] Frank Dignum,et al. Free choice and contextually permitted actions , 1996, Stud Logica.
[12] John-Jules Ch. Meyer,et al. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..
[13] Alan Ross Anderson,et al. A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC , 1958 .
[14] P. Tichý. A counterexample to the Stalnaker-Lewis analysis of counterfactuals , 1976 .
[15] K. Segerberg. The Basic Dynamic Doxastic Logic of AGM , 2001 .
[16] Ron van der Meyden,et al. The Dynamic Logic of Permission , 1990, J. Log. Comput..
[17] Frank Dignum,et al. A dynamic logic for reasoning about sub-ideal states , 1994 .
[18] Ian Horrocks,et al. Combinations of Modal Logics , 2002, Artificial Intelligence Review.
[19] Munindar P. Singh. The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis , 1998, ECAI.
[20] Nicholas Asher,et al. Commonsense entailment: a conditional logic for some generics , 1996 .
[21] John-Jules Ch. Meyer,et al. Reasoning about emotional agents , 2004, Int. J. Intell. Syst..
[22] Walter Van de Velde,et al. Agents Breaking Away , 1996, Lecture Notes in Computer Science.
[23] Andrew J. I. Jones,et al. Deontic Logic and Contrary-to-Duties , 2002 .
[24] Frank Dignum,et al. Contextual Permission: A Solution to the Free Choice Paradox , 1994 .
[25] Frank Veltman,et al. Defaults in update semantics , 1996, J. Philos. Log..
[26] Mehdi Dastani,et al. The BOID architecture: conflicts between beliefs, obligations, intentions and desires , 2001, AGENTS '01.
[27] Marc Pauly,et al. Formalizing the dynamics of information , 2000 .
[28] Michael Fisher,et al. A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.
[29] Reinhard Blutner. "Normality" in Update Semantics , 1995 .
[30] George Gargov,et al. A Note on Boolean Modal Logic , 1990 .
[31] Frank Dignum,et al. Modal logic investigations in the semantics of counts-as , 2005, ICAIL '05.
[32] Hector J. Levesque,et al. Intention is Choice with Commitment , 1990, Artif. Intell..
[33] M. de Rijke,et al. A System of Dynamic Modal Logic , 1998, J. Philos. Log..
[34] Risto Hilpinen,et al. New Studies in Deontic Logic , 1981 .
[35] Michael Wooldridge,et al. Foundations of Rational Agency , 1999 .
[36] Mary-Anne Williams,et al. Frontiers in Belief Revision , 2001 .
[37] Milind Tambe,et al. Intelligent Agents VIII , 2002, Lecture Notes in Computer Science.
[38] Gunter Saake,et al. Logics for databases and information systems , 1998 .
[39] J. Dewey. Studies In Logical Theory , 1904 .
[40] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[41] Dov M. Gabbay,et al. Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .
[42] Krister Segerberg,et al. Belief Revision From the Point of View of Doxastic Logic , 1995, Log. J. IGPL.
[43] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.
[44] A. Kratzer. An investigation of the lumps of thought , 1989 .
[45] Koen V. Hindriks,et al. Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.
[46] Johan van Benthem,et al. Semantic Parallels in Natural Language and Computation , 1989 .
[47] Michael Wooldridge,et al. Agent-Oriented Software Engineering: The State of the Art , 2009, AOSE.
[48] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.
[49] Mehdi Dastani,et al. Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires , 2001, ECSQARU.
[50] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[51] Barbara Dunin-Keplicz,et al. Collective Intentions , 2002, Fundam. Informaticae.
[52] Mehdi Dastani,et al. Goal generation in the BOID architecture , 2002 .
[53] W. Hoek,et al. An Integrated Modal Approach to Rational Agents , 1999 .
[54] Sarit Kraus,et al. Knowledge, Belief and Time , 1986, Theor. Comput. Sci..
[55] F. Dignum,et al. From Desires, Obligations and Norms to Goals , 2002 .
[56] Anand S. Rao,et al. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.
[57] J. Meyer. Modal Epistemic and Doxastic Logic , 2003 .
[58] Roel Wieringa,et al. Actors, actions, and initiative in normative system specification , 1993, Annals of Mathematics and Artificial Intelligence.
[59] Jan M. Broersen. Action negation and alternative reductions for dynamic deontic logics , 2004, J. Appl. Log..
[60] W. Hoek,et al. Seeing Is Believing And So Are Hearing and Jumping , 2002 .
[61] F.J.M.M. Veltman,et al. Logics for conditionals. , 1985 .
[62] Joseph Y. Halpern,et al. First-order conditional logic for default reasoning revisited , 2000, TOCL.
[63] Wiebe van der Hoek,et al. Formalizing Potential of Agents: The KARO Framework Revisited , 2000 .
[64] John P. Burgess,et al. Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..
[65] Dov M. Gabbay,et al. Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning , 1995 .
[66] Hector-Neri Castañeda,et al. The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop , 1981 .
[67] John-Jules Ch. Meyer,et al. Rational Teams: Logical Aspects of Multi-Agent Systems , 2004, Fundam. Informaticae.
[68] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[69] Robert Stalnaker. A Theory of Conditionals , 2019, Knowledge and Conditionals.
[70] Michael Wooldridge,et al. Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.
[71] Frank Dignum,et al. Modelling Social Agents: Communication as Action , 1996, ATAL.
[72] Frank Dignum,et al. Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints , 1990 .
[73] Frank Veltman. Prejudices, presuppositions, and the theory of counterfactuals , 1976 .
[74] Frank Dignum,et al. The Role of Deontic Logic in the Specification of Information Systems , 1998, Logics for Databases and Information Systems.
[75] Julian Padget,et al. Formalizing a Language for Institutions and Norms , 2001, ATAL.
[76] Clare Dixon,et al. Verification within the KARO Agent Theory , 2000, FAABS.
[77] Hans Weigand,et al. Specifying Dynamic and Deontic Integrity Constraints , 1989, Data Knowl. Eng..
[78] Yoav Shoham. Agent-Oriented Programming , 1993, Artif. Intell..
[79] David Harel,et al. First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.
[80] Wiebe van der Hoek,et al. Systems for Knowledge and Belief , 1993, J. Log. Comput..
[81] Anand S. Rao,et al. Decision Procedures for BDI Logics , 1998, J. Log. Comput..
[82] Peter Gärdenfors,et al. Belief Revision , 1995 .
[83] B. van Linder,et al. Modal logics for rational agents , 1996 .
[84] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[85] Frank Veltman,et al. Making Counterfactual Assumptions , 2005, J. Semant..
[86] David Lewis. Counterfactual Dependence and Time's Arrow , 1979 .
[87] Yoav Shoham,et al. Nonmonotonic Temporal Reasoning , 1992 .
[88] Peter Gärdenfors,et al. Knowledge in Flux , 1988 .
[89] W. van der Hoek,et al. Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting , 1994 .
[90] M. de Rijke,et al. JFAK. Essays Dedicated to Johan van Benthem on the occasion of his 50th Birthday , 1999 .
[91] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[92] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[93] Roel Wieringa,et al. A Fixed-point Characterization of a Deontic Logic of Regular Action , 2001, Fundam. Informaticae.
[94] John-Jules Ch. Meyer,et al. A Logical Approach to the Dynamics of Commitments , 1999, Artif. Intell..
[95] Edith Hemaspaandra. Complexity transfer for modal logic , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.