Formal methods in DAI: logic-based representation and reasoning

[1]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[2]  P. T. Geach,et al.  KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .

[3]  David Lewis.  Convention: A Philosophical Study , 1986 .

[4]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[5]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[6]  Alfred V. Aho,et al.  Principles of Compiler Design , 1977 .

[7]  John McCarthy,et al.  Ascribing Mental Qualities to Machines , 1979 .

[8]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[9]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[10]  Risto Hilpinen.  New studies in deontic logic : norms, actions, and the foundations of ethics , 1981 .

[11]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[12]  Edmund M. Clarke,et al.  Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..

[13]  D. Kozen.  Results on the Propositional µ-Calculus , 1982 .

[14]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[15]  K. Mani Chandy,et al.  How processes learn , 1985, ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.

[16]  K. Konolige.  A deduction model of belief , 1986 .

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

[18]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

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

[20]  Michael P. Georgeff,et al.  Decision-Making in an Embedded Reasoning System , 1989, IJCAI.

[21]  Michael Z. Spivey,et al.  The Z notation , 1989 .

[22]  Munindar P. Singh.  Group Intentions , 1990 .

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

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

[25]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

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

[27]  Christine Collet,et al.  Resource integration using a large knowledge base in Carnot , 1991, Computer.

[28]  Munindar P. Singh.  Intentions, Commitments and Rationality , 1991 .

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

[30]  Munindar P. Singh.  Group Ability And Structure , 1991 .

[31]  Les Gasser,et al.  Social Conceptions of Knowledge and Action: DAI Foundations and Open Systems Semantics , 1991, Artif. Intell..

[32]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[33]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[34]  Munindar P. Singh.  A Critical Examination of Use Cohen-Levesque Theory of Intentions , 1992, ECAI.

[35]  M. Georgeff,et al.  Social Plans: A Preliminary Report , 1992 .

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

[37]  Anand S. Rao,et al.  An architecture for real-time reasoning and system control , 1992, IEEE Expert.

[38]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

[39]  Munindar P. Singh,et al.  A logic of intentions and beliefs , 1993, J. Philos. Log..

[40]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

[41]  Munindar P. Singh.  Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications , 1994, Lecture Notes in Computer Science.

[42]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[43]  Michael Wooldridge,et al.  Formalizing the Cooperative Problem Solving Process , 1994 .

[44]  Yves Demazeau,et al.  A Social Reasoning Mechanism Based On Dependence Networks , 1997, ECAI.

[45]  S. Rebecca Thomas,et al.  The PLACA Agent Programming Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[46]  Munindar P. Singh,et al.  Automating workflows for service provisioning: integrating AI and database technologies , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

[47]  Leslie Pack Kaelbling,et al.  A Situated View of Representation and Control , 1995, Artif. Intell..

[48]  Cristiano Castelfranchi,et al.  Commitments: From Individual Intentions to Groups and Organizations , 1995, ICMAS.

[49]  Ahmed K. Elmagarmid,et al.  Object-Oriented Multidatabase Systems: A Solution for Advanced Applications , 1995 .

[50]  R. Conte,et al.  Cognitive and social action , 1995 .

[51]  Gio Wiederhold,et al.  Value-added Mediation in Large-Scale Information Systems , 1995, DS-6.

[52]  Anand S. Rao,et al.  The Semantics of Intention Maintenance for Rational Agents , 1995, IJCAI.

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

[54]  Anand S. Rao,et al.  Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics , 1995, ATAL.

[55]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[56]  Suguru Ishizaki,et al.  Multiagent model of dynamic design: visualization as an emergent behavior of active design agents , 1996, CHI.

[57]  Nicholas R. Jennings,et al.  Using Archon to Develop Real-World DAI Applications, Part 1 , 1996, IEEE Expert.

[58]  Christen Krogh,et al.  Getting Personal: Some Notes on the Relationship Between Personal and Impersonal Obligation , 1996, DEON.

[59]  Michael Luck,et al.  Understanding Autonomous Interaction , 1996, ECAI.

[60]  Vito F. Sinisi,et al.  Entailment: The Logic of Relevance and Necessity , 1996 .

[61]  Afsaneh Haddadi,et al.  Communication and Cooperation in Agent Systems: A Pragmatic Theory , 1996 .

[62]  Philippe Bretier,et al.  A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction , 1996, ATAL.

[63]  Michael P. Georgeff,et al.  Modelling and Design of Multi-Agent Systems , 1997, ATAL.

[64]  Sarit Kraus,et al.  Collaborative Plans for Complex Group Action , 1996, Artif. Intell..

[65]  Michael Wooldridge,et al.  A Formal Specification of dMARS , 1997, ATAL.

[66]  Nicholas R. Jennings,et al.  DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework , 1997, Int. J. Cooperative Inf. Syst..

[67]  Munindar P. Singh.  A Customizable Coordination Service for Autonomous Agents , 1997, ATAL.

[68]  Milind Tambe,et al.  Agent Architectures for Flexible, Practical Teamwork , 1997, AAAI/IAAI.

[69]  Michael Luck,et al.  Cooperation Structures , 1997, IJCAI.

[70]  Michael Wooldridge,et al.  On the Formal Specification and Verification of Multi-Agent Systems , 1997, Int. J. Cooperative Inf. Syst..

[71]  Larry M. Stephens,et al.  Using a domain-knowledge ontology as a semantic gateway among information resources , 1997 .

[72]  Munindar P. Singh.  Applying the Mu-Calculus in Planning and Reasoning about Action , 1998, J. Log. Comput..

[73]  Munindar P. Singh.  Semantical considerations on intention dynamics for BDI agents , 1998, J. Exp. Theor. Artif. Intell..

[74]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[75]  Giuseppe De Giacomo,et al.  Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach , 1996, Artif. Intell..

[76]  Gerhard Weiss.  Formal Methods in DAI: Logic-Based Representation and Reasoning , 2000 .

[77]  Stephan Merz,et al.  Model Checking , 2000 .

[78]  Rineke,et al.  Collective Commitments , 2001 .

[79]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .