Modal logics for rational agents

[1]  Pattie Maes,et al.  Intelligent software , 1997, IUI '97.

[2]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[3]  L. Foner.  What''s an Agent, Anyway? A Sociological Case Study. MIT Media Lab , 1997 .

[4]  Frank Dignum,et al.  A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation , 1996, DEON.

[5]  Frank Dignum,et al.  Modelling rational agents in a dynamic environment: Putting humpty dumpty together again , 1996 .

[6]  Daniela D'Aloisi,et al.  A Framework for Dealing with Belief-Goal Dynamics , 1995, AI*IA.

[7]  John-Jules Ch. Meyer,et al.  Actions That Make You Change Your Mind (Extended Abstract) , 1995, KI.

[8]  Daniel Lehmann,et al.  Belief Revision, Revised , 1995, IJCAI.

[9]  John-Jules Ch. Meyer,et al.  Formalising Motivational Attitudes of Agents , 1995, ATAL.

[10]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[11]  Anna Maria Radzikowska,et al.  Epistemic Approach to Actions with Typical Effects , 1995, ECSQARU.

[12]  John-Jules Ch. Meyer,et al.  The Dynamics of Default Reasoning (Extended Abstract) , 1995, ECSQARU.

[13]  Gil Tidhar,et al.  Modelling teams and team tactics in whole air mission modelling , 1995, IEA/AIE '95.

[14]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[15]  Christen Krogh,et al.  Obligations in Multiagent Systems , 1995, SCAI.

[16]  B. van Linder,et al.  A dynamic logic of iterated belief change , 1995 .

[17]  Anand Srinivasa Rao,et al.  Revisiting rationality for agents with intentions 1 , 1995 .

[18]  Cristiano Castelfranchi,et al.  Guarantees for Autonomy in Cognitive Agent Architecture , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[19]  John-Jules Ch. Meyer,et al.  Communicating Rational Agents , 1994, KI.

[20]  John-Jules Ch. Meyer,et al.  Tests as Epistemic Updates , 1994, ECAI.

[21]  John-Jules Ch. Meyer,et al.  A Logic of Capabilities , 1994, LFCS.

[22]  Brigitte Penther,et al.  A dynamic logic of action , 1994, J. Log. Lang. Inf..

[23]  Ted Selker,et al.  COACH: a teaching agent that learns , 1994, CACM.

[24]  Doug Riecken.  Intelligent agents , 1994, CACM.

[25]  Pattie Maes,et al.  Agents that reduce work and information overload , 1994, CACM.

[26]  Anand S. Rao,et al.  Means-End Plan Recognition - Towards a Theory of Reactive Recognition , 1994, KR.

[27]  Roel Wieringa,et al.  Deontic logic: a concise overview , 1994 .

[28]  Theo Huibers,et al.  Een theorie voor het bestuderen van information retrieval modellen (in Dutch) , 1994 .

[29]  W. van der Hoek,et al.  Unravelling nondeterminism: On having the ability to choose , 1993 .

[30]  Anand S. Rao,et al.  A Model-Theoretic Approach to the Verification of Situated Reasoning Systems , 1993, IJCAI.

[31]  Pattie Maes,et al.  Learning Interface Agents , 1993, AAAI.

[32]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[33]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[34]  G. B. Finelli,et al.  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..

[35]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[36]  Elias George Coenraad Thijsse,et al.  Partial logic and knowledge representation , 1992 .

[37]  Joseph Bates,et al.  The nature of characters in interactive worlds and the oz project , 1992 .

[38]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[39]  G. B. Finelli,et al.  The infeasibility of experimental quantification of life-critical software reliability , 1991, SIGSOFT '91.

[40]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

[41]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[42]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[43]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[44]  Jean-Pierre Jouannaud,et al.  Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[45]  Zhisheng Huang,et al.  Logics for Belief Dependence , 1990, CSL.

[46]  Wiebe van der Hoek.  Systems for Knowledge and Beliefs , 1990, JELIA.

[47]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[48]  Krister Segerberg,et al.  Bringing it about , 1989, J. Philos. Log..

[49]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[50]  Mark A. Brown.  On the logic of ability , 1988, J. Philos. Log..

[51]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[52]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[53]  Geoffrey K. Pullum,et al.  Category Structures , 1988, Comput. Linguistics.

[54]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[55]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[56]  Krzysztof R. Apt,et al.  Countable nondeterminism and random assignment , 1986, JACM.

[57]  Manfred Broy,et al.  A Theory for Nondeterminism, Parallelism, Communication, and Concurrency , 1986, Theor. Comput. Sci..

[58]  David Peleg,et al.  Concurrent dynamic logic , 1985, STOC '85.

[59]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[60]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

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

[62]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[63]  Robert Goldblatt.  The semantics of Hoare's Iteration Rule , 1982 .

[64]  Robert Goldblatt,et al.  Axiomatising the Logic of Computer Programming , 1982, Lecture Notes in Computer Science.

[65]  Isaac Asimov,et al.  The Complete Robot , 1982 .

[66]  Joseph Y. Halpern,et al.  The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract) , 1981, FOCS.

[67]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[68]  Hector-Neri Castañeda,et al.  The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop , 1981 .

[69]  D. Gabbay.  An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames , 1981 .

[70]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[71]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[72]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[73]  Anthony Kenny,et al.  Will, freedom, and power , 1975 .

[74]  G. E. Hughes,et al.  An introduction to modal logic, 2e éd., 1 vol , 1973 .

[75]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[76]  A. Montefiore.  NORM AND ACTION , 1964 .

[77]  P. J. Fitzgerald,et al.  Law and Logic , 1964 .

[78]  H. Kyburg.  Probability and Rationality , 1961 .

[79]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[80]  J. Armstrong.  Knowledge and Belief , 1953 .

[81]  Alf Ross,et al.  Imperatives and Logic , 1944, Philosophy of Science.

[82]  D. Hilbert,et al.  Die Grundlegung der elementaren Zahlenlehre , 1931 .

[83]  Artur Buchenau.  Kritik der reinen Vernunft , 1928 .

[84]  J.-J Ch,et al.  Group Knowledge Isn ’ t Always Distributed , 2022 .