Declarative Agent Languages and Technologies

Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows how to model complex agent systems, integrating quantitative, numerical and qualitative, logical aspects, and how to combine logical and mathematical analysis methods.

[1]  Steffen Staab,et al.  Handbook on Ontologies (International Handbooks on Information Systems) , 2004 .

[2]  Guido Governatori,et al.  An algorithm for the induction of defeasible logic theories from databases , 2003, ADC.

[3]  Pablo Noriega,et al.  Implementing norms in electronic institutions , 2005, AAMAS '05.

[4]  M. Hannebauer.  Their problems are my problems: the transition between internal and external conflicts , 2001 .

[5]  David Kinny.  Agents - The Challenge of Relevance to the IT Mainstream , 2004, PROMAS.

[6]  Victor R. Lesser,et al.  Solving distributed constraint optimization problems using cooperative mediation , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[7]  Lawrence G. Sager,et al.  Unpacking the Court , 1986 .

[8]  Yun Peng,et al.  Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..

[9]  Michael Wooldridge,et al.  Understanding the Emergence of Conventions in Multi-Agent Systems , 1995, ICMAS.

[10]  Francois Felix Ingrand,et al.  Monitoring and control of spacecraft systems using procedural reasoning , 1990 .

[11]  Michael Winikoff,et al.  Detecting & exploiting positive goal interaction in intelligent agents , 2003, AAMAS '03.

[12]  Marco Colombetti,et al.  A Communicative Act Library in the context of Artificial Institutions , 2004 .

[13]  Michel C. A. Klein,et al.  The Role of Ontologies in eCommerce , 2004, Handbook on Ontologies.

[14]  Nikolaos F. Matsatsinis,et al.  A Multi-criteria Protocol for Multi-agent Negotiations , 2004, SETN.

[15]  Manuel V. Hermenegildo,et al.  Concurrency in Prolog Using Threads and a Shared Database , 1999, ICLP.

[16]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[17]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[18]  P. Cameron.  Naïve set theory , 1998 .

[19]  Alvin I. Goldman,et al.  Group Knowledge Versus Group Rationality: Two Approaches to Social Epistemology , 2004, Episteme.

[20]  R. V. van Nieuwpoort,et al.  The Grid 2: Blueprint for a New Computing Infrastructure , 2003 .

[21]  Michal Walicki,et al.  Syntactic Knowledge: A Logic of Reasoning, Communication and Cooperation , 2004 .

[22]  Henricus Verhagen,et al.  Norm autonomous agents , 2000 .

[23]  Renata Wassermann.  Resource Bounded Belief Revision , 1999 .

[24]  Jaap Hage,et al.  Law and Defeasibility , 2003, Artificial Intelligence and Law.

[25]  Luis Fariñas del Cerro,et al.  Modal Tableaux with Propagation Rules and Structural Rules , 1997, Fundam. Informaticae.

[26]  Wamberto Weber Vasconcelos,et al.  Logic-Based Electronic Institutions , 2003, DALT.

[27]  Y HalpernJoseph,et al.  Reasoning about knowledge and probability , 1994 .

[28]  Cungen Cao,et al.  A Domain-Specific Formal Ontology for Archaeological Knowledge Sharing and Reusing , 2002, PAKM.

[29]  Milind Tambe,et al.  Taking DCOP to the real world: efficient complete solutions for distributed multi-event scheduling , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[30]  Patrice Perny,et al.  GAI Networks for Utility Elicitation , 2004, KR.

[31]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[32]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[33]  R. M. Hare,et al.  Norm and Action: A Logical Enquiry. , 1965 .

[34]  Michael Wooldridge,et al.  Verifiable Multi-agent Programs , 2003, PROMAS.

[35]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[36]  Jeffrey S. Rosenschein and Gilad Zlotkin.  Rules of Encounter , 1994 .

[37]  Hector J. Levesque,et al.  Communicative Actions for Artificial Agents , 1997, ICMAS.

[38]  Michael Luck,et al.  Constraining autonomy through norms , 2002, AAMAS '02.

[39]  Antonio Moreno,et al.  Avoiding Logical Omniscience and Perfect Reasoning: A Survey , 1998, AI Commun..

[40]  Gerard J. Holzmann,et al.  SPIN model checking: an introduction , 2000, International Journal on Software Tools for Technology Transfer.

[41]  Mark Klein,et al.  Negotiating Complex Contracts , 2003, AAMAS '02.

[42]  Vianey Villamizar.  An Introduction to the Calculus , 1926, Nature.

[43]  H. Van Dyke Parunak,et al.  Representing Agent Interaction Protocols in UML , 2000, AOSE.

[44]  H. Raiffa,et al.  Negotiation Analysis: The Science and Art of Collaborative Decision Making , 2003 .

[45]  Álvaro F. Moreira,et al.  Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication , 2003, DALT.

[46]  John L. Pollock,et al.  How to Reason Defeasibly , 1992, Artif. Intell..

[47]  Amnon Meisels,et al.  Using additional information in DisCSPs search , 2004 .

[48]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[49]  Michael E. Bratman,et al.  What is intention , 1987 .

[50]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .

[51]  Gerald Pfeifer,et al.  The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.

[52]  Farhad Arbab,et al.  Coordination and composition in multi-agent systems , 2005, AAMAS '05.

[53]  Marc Pauly,et al.  Programming and Verifying Subgame-Perfect Mechanisms , 2002, J. Log. Comput..

[54]  F. Dignum,et al.  From Desires, Obligations and Norms to Goals , 2002 .

[55]  Wamberto Weber Vasconcelos,et al.  An approach to rapid prototyping of large multi-agent systems , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[56]  José Júlio Alferes,et al.  Multi-dimensional Dynamic Knowledge Representation , 2001, LPNMR.

[57]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[58]  Michael Winikoff,et al.  Declarative and procedural goals in intelligent agent systems , 2002, KR 2002.

[59]  Abdullatif A. O. Elhag,et al.  On the Formal Analysis of Normative Conflicts , 2000 .

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

[61]  F. B. Vernadat,et al.  Decisions with Multiple Objectives: Preferences and Value Tradeoffs , 1994 .

[62]  Michael Wooldridge,et al.  Languages for Negotiation , 2000, ECAI.

[63]  Milind Tambe,et al.  Preprocessing Techniques for Distributed Constraint Optimization , 2004, CP.

[64]  S. Brison.  The Intentional Stance , 1989 .

[65]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[66]  D. Varberg,et al.  Calculus with Analytic Geometry , 1968 .

[67]  Peter A. Flach,et al.  Abduction and induction: essays on their relation and integration , 2000 .

[68]  Victor R. Lesser,et al.  AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling , 2002, AAMAS '02.

[69]  Michael Luck,et al.  Methodologies and Software Engineering for Agent Systems , 2004, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[70]  Ira Rudowsky,et al.  Intelligent Agents , 2004, Commun. Assoc. Inf. Syst..

[71]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[72]  A. Raja.  Reasoning about Coordination Costs in Resource-Bounded Multi-Agent Systems , 2004 .

[73]  Patricia Charlton,et al.  Agentcities: A Worldwide Open Agent Network , 2001 .

[74]  Jeffrey A. Barnett,et al.  Computational Methods for a Mathematical Theory of Evidence , 1981, IJCAI.

[75]  David C. Parkes,et al.  Specifying and monitoring market mechanisms using rights and obligations , 2004, AAMAS'04.

[76]  John Zeleznikow,et al.  Integrating artificial intelligence, argumentation and game theory to develop an online dispute resolution environment , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.

[77]  Mats Carlsson,et al.  SICStus MT - A Multithreaded Execution Environment for SICStus Prolog , 1998, PLILP/ALP.

[78]  Audun Jøsang,et al.  The consensus operator for combining beliefs , 2002, Artif. Intell..

[79]  F. A. Seiler,et al.  Numerical Recipes in C: The Art of Scientific Computing , 1989 .

[80]  A. Rubinstein.  Perfect Equilibrium in a Bargaining Model , 1982 .

[81]  Munindar P. Singh,et al.  Nonmonotonic Commitment Machines , 2003, Workshop on Agent Communication Languages.

[82]  P. Pettit.  Deliberative Democracy and the Discursive Dilemma , 2001 .

[83]  O. L. Tinklepaugh.  The multiple delayed reaction with chimpanzees and monkeys. , 1932 .

[84]  John W. Lloyd,et al.  Personalisation for user agents , 2005, AAMAS '05.

[85]  Evelina Lamma,et al.  A logic-based approach to modeling interaction among computees ( preliminary report ) , 2002 .

[86]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[87]  Kwang Mong Sim,et al.  Epistemic logic and logical omniscience: A survey , 1997, Int. J. Intell. Syst..

[88]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[89]  Lin Padgham,et al.  Agent Capabilities: Extending BDI Theory , 2000, AAAI/IAAI.

[90]  Timothy W. Finin,et al.  The current landscape of Agent Communication Languages , 1999 .

[91]  Munindar P. Singh,et al.  Verifying Compliance with Commitment Protocols Enabling Open Web-Based Multiagent Systems , 1999 .

[92]  Joseph Y. Halpern.  A Theory of Knowledge and Ignorance for Many Agents , 1997, J. Log. Comput..

[93]  Marco Colombetti,et al.  A logical model of social commitment for agent communication , 2003, AAMAS '03.

[94]  Michael Luck,et al.  A Model of Normative Multi-agent Systems and Dynamic Relationships , 2002, RASTA.

[95]  John Levine,et al.  Generation of Multiple Qualitatively Different Plan Options , 1998, AIPS.

[96]  Marco Colombetti,et al.  Defining interaction protocols using a commitment-based agent communication language , 2003, AAMAS '03.

[97]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

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

[99]  Michael J. Maher,et al.  The Semantics of Constraint Logic Programs , 1998, J. Log. Program..

[100]  Winfried Lamersdorf,et al.  A Goal Deliberation Strategy for BDI Agent Systems , 2005, MATES.

[101]  Amal El Fallah Seghrouchni,et al.  Open protocol design for complex interactions in multi-agent systems , 2002, AAMAS '02.

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

[103]  Jan Treur,et al.  Agent-Based Defeasible Control in Dynamic Environments , 2002 .

[104]  Makoto Yokoo,et al.  Adopt: asynchronous distributed constraint optimization with quality guarantees , 2005, Artif. Intell..

[105]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[106]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[107]  Ronald L. Rivest,et al.  Learning decision lists , 2004, Machine Learning.

[108]  Alok Aggarwal,et al.  Cooperative Multiobjective Decision Support for the Paper Industry , 1999, Interfaces.

[109]  Kari Sentz,et al.  Combination of Evidence in Dempster-Shafer Theory , 2002 .

[110]  Ronen I. Brafman,et al.  CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements , 2011, J. Artif. Intell. Res..

[111]  C. Castelfranchi,et al.  Conflicts within and for collaboration , 2001 .

[112]  José Almaráz.  Law and Justice , 1940 .

[113]  M. Birna van Riemsdijk,et al.  Agent programming in dribble: from beliefs to goals using plans , 2003, AAMAS '03.

[114]  C. Lebiere,et al.  The Atomic Components of Thought , 1998 .

[115]  Juan Antonio Rodriguez,et al.  On the Design and Construction of Agent-mediated Electronic Institutions , 2001 .

[116]  Rina Dechter,et al.  Bucket Elimination: A Unifying Framework for Reasoning , 1999, Artif. Intell..

[117]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[118]  Mary-Anne Williams,et al.  Iterated Theory Base Change: A Computational Model , 1995, IJCAI.

[119]  José Júlio Alferes,et al.  MINERVA - A Dynamic Logic Programming Agent Architecture , 2001, ATAL.

[120]  R. Yager.  On the dempster-shafer framework and new combination rules , 1987, Inf. Sci..

[121]  Eli Berlinger,et al.  An information theory based complexity measure , 1899, AFIPS '80.

[122]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[123]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[124]  Kotagiri Ramamohanarao,et al.  An architecture for mobile BDI agents , 1998, SAC '98.

[125]  Michael Wooldridge,et al.  A Lifecycle for Models of Large Multi-agent Systems , 2001, AOSE.

[126]  Michael Wooldridge,et al.  Properties and Complexity of Some Formal Inter-agent Dialogues , 2003, J. Log. Comput..

[127]  Wiebe van der Hoek.  Some Considerations on the Logic PFD~ , 1997, J. Appl. Non Class. Logics.

[128]  R. Faure,et al.  Introduction to operations research , 1968 .

[129]  Kevin Crowston,et al.  Organizing Business Knowledge: The MIT Process Handbook , 2003 .

[130]  Frank Dignum,et al.  Dynamics of Declarative Goals in Agent Programming , 2004, DALT.

[131]  Victor Vianu,et al.  Rule-based languages , 2004, Annals of Mathematics and Artificial Intelligence.

[132]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[133]  Nicholas R. Jennings,et al.  Optimal agendas for multi-issue negotiation , 2003, AAMAS '03.

[134]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[135]  Nicholas R. Jennings,et al.  Modelling Sociality in the BDI Framework , 1999 .

[136]  Daphne Koller,et al.  A Continuation Method for Nash Equilibria in Structured Games , 2003, IJCAI.

[137]  Fahiem Bacchus,et al.  Graphical models for preference and utility , 1995, UAI.

[138]  Michael Wooldridge,et al.  The complexity of contract negotiation , 2005, Artif. Intell..

[139]  Michal Walicki,et al.  A Logic for Reasoning about Agents with Finite Explicit Knowledge , 2003 .

[140]  Thomas Ågotnes,et al.  A Logic of Finite Syntactic Epistemic States , 2004 .

[141]  N. Moran.  The Evolutionary Maintenance of Alternative Phenotypes , 1992, The American Naturalist.

[142]  Timothy W. Finin,et al.  A semantics approach for KQML—a general purpose communication language for software agents , 1994, CIKM '94.

[143]  Jeanine Weekes Schroer,et al.  The Finite String Newsletter Abstracts of Current Literature Glisp User's Manual , 2022 .

[144]  A. McLennan,et al.  Generic 4 x 4 Two Person Games Have at Most 15 Nash Equilibria , 1999 .

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

[146]  Munindar P. Singh,et al.  Commitment Machines , 2001, ATAL.

[147]  Roman Barták,et al.  Encoding HTN Planning as a Dynamic CSP , 2005, CP.

[148]  Frank Dignum,et al.  A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.

[149]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[150]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[151]  W. van der Hoek,et al.  Agent Programming with Declarative Goals , 2000, ATAL.

[152]  H. Wong-Toi,et al.  Symbolic analysis of hybrid systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[153]  A. Machado.  Learning the temporal dynamics of behavior. , 1997, Psychological review.

[154]  J. Graves.  The descent of man , 2004, Nature.

[155]  H. Van Dyke Parunak,et al.  Representing social structures in UML , 2001, AGENTS '01.

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

[157]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[158]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[159]  John L. Pollock,et al.  Defeasible reasoning with variable degrees of justification , 2001, Artif. Intell..

[160]  Henry Prakken,et al.  A study of accrual of arguments, with applications to evidential reasoning , 2005, ICAIL '05.

[161]  Paolo Torroni,et al.  An Abductive Logic Programming Architecture for Negotiating Agents , 2002, JELIA.

[162]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[163]  Martín Abadi,et al.  A logic of authentication , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[164]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[165]  A. Chopra.  Contextualizing Commitment Protocols , .

[166]  Marina De Vos.  Implementing Ordered Choice Logic Programming using Answer Set Solvers , 2004, FoIKS.

[167]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[168]  Zohar Manna,et al.  Verifying Hybrid Systems , 1992, Hybrid Systems.

[169]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[170]  Jérôme Lang,et al.  Logical representation of preferences for group decision making , 2000, KR.

[171]  Gadi Pinkas,et al.  Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks , 1991, IJCAI.

[172]  Frank Guerin,et al.  Denotational semantics for agent communication language , 2001, AGENTS '01.

[173]  D. Stephens.  Change, regularity, and value in the evolution of animal learning , 1991 .

[174]  Soraya B. Rana,et al.  Representation Issues in Neighborhood Search and Evolutionary Algorithms , 1998 .

[175]  Michael E. Bratman,et al.  Practical Reasoning and Acceptance in a Context , 1992 .

[176]  Guido Governatori,et al.  Actions Made Explicit in BDI , 2001, Australian Joint Conference on Artificial Intelligence.

[177]  Khaled Ghédira,et al.  Multicriteria Optimization in CSPs : Foundations and Distributed Solving Approach , 2004, AIMSA.

[178]  Harry Chen,et al.  SOUPA: standard ontology for ubiquitous and pervasive applications , 2004, The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004..

[179]  William L. Scherlis,et al.  Compilers and staging transformations , 1986, POPL '86.

[180]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[181]  Munindar P. Singh.  Agent Communication Languages: Rethinking the Principles , 1998, Computer.

[182]  Solomon Lefschetz,et al.  Differential Equations: Geometric Theory , 1958 .

[183]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[184]  Munindar P. Singh.  Distributed enactment of multiagent workflows: temporal logic for web service composition , 2003, AAMAS '03.

[185]  Michael L. Littman,et al.  Graphical Models for Game Theory , 2001, UAI.

[186]  Olga Pacheco,et al.  A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction , 2003, Autonomous Agents and Multi-Agent Systems.

[187]  Abhinay Muthoo,et al.  On the Strategic Role of Outside Options in Bilateral Bargaining , 1995, Oper. Res..

[188]  David Makinson,et al.  On the status of the postulate of recovery in the logic of theory change , 1987, J. Philos. Log..

[189]  Marek Sergot,et al.  A computational theory of normative positions , 2001, ACM Trans. Comput. Log..

[190]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[191]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[192]  Marco Gavanelli,et al.  An Algorithm for Multi-Criteria Optimization in CSPs , 2002, ECAI.

[193]  相場亮.  Distributed Constraint Satisfaction： Foundations of Cooperation in Multi - Agent Systems , 2001 .

[194]  D. Makinson.  How to give it up: A survey of some formal aspects of the logic of theory change , 2004, Synthese.

[195]  Yann Chevaleyre,et al.  Negotiating over small bundles of resources , 2005, AAMAS '05.

[196]  Rafael H. Bordini,et al.  Jason and the Golden Fleece of Agent-Oriented Programming , 2005, Multi-Agent Programming.

[197]  Paolo Busetta,et al.  Jack intelligent agents - components for intelligent agents in java , 1998 .

[198]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[199]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

[200]  Marina De Vos,et al.  Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice , 2003, Answer Set Programming.

[201]  Marina De Vos,et al.  On the Role of Negation in Choice Logic Programs , 1999, LPNMR.

[202]  F. Hynne,et al.  Full-scale model of glycolysis in Saccharomyces cerevisiae. , 2001, Biophysical chemistry.

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

[204]  Joris Hulstijn,et al.  Dialogue Models for Inquiry and Transaction , 2000 .

[205]  Davide Ancona,et al.  Coo-BDI: Extending the BDI Model with Cooperativity , 2003, DALT.

[206]  Brian Logan,et al.  A complete and decidable logic for resource-bounded agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[207]  Boi Faltings,et al.  A Scalable Method for Multiagent Constraint Optimization , 2005, IJCAI.

[208]  Shan-Hwei Nienhuys-Cheng,et al.  Foundations of Inductive Logic Programming , 1997, Lecture Notes in Computer Science.

[209]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[210]  Jérôme Lang,et al.  Allocation of indivisible goods: a general model and some complexity results , 2005, AAMAS '05.

[211]  Gaële Simon,et al.  A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem , 2002, AIMSA.

[212]  Amal El Fallah Seghrouchni,et al.  An Aggregation-Disaggregation Approach for Automated Negotiation in Multi-Agent Systems , 2000 .

[213]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

[214]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[215]  Greg Meredith,et al.  Contracts and types , 2003, CACM.

[216]  Helder Coelho,et al.  BDI Models and Systems: Bridging the Gap , 1998, ATAL.

[217]  Michael Luck,et al.  Engineering AgentSpeak(L): A Formal Computational Model , 1998, J. Log. Comput..

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

[219]  Takaharu Hirai,et al.  Temporal Linear Logic and Its Applications , 2003 .

[220]  Hassen Saïdi,et al.  Model Checking Guided Abstraction and Analysis , 2000, SAS.

[221]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[222]  Philippe Smets,et al.  The Combination of Evidence in the Transferable Belief Model , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[223]  Lin Padgham,et al.  An empirical evaluation of reasoning about resource conflicts , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[224]  N. R. Jennings,et al.  To appear in: Int Journal of Group Decision and Negotiation GDN2000 Keynote Paper Automated Negotiation: Prospects, Methods and Challenges , 2022 .

[225]  George M. Wyner.  Defining Specialization for Process Models , 2001 .

[226]  Mehdi Dastani,et al.  Semantics of declarative goals in agent programming , 2005, AAMAS '05.

[227]  John W. Lloyd,et al.  An Architecture for Rational Agents , 2005, DALT.

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

[229]  Michael Wooldridge,et al.  Logic for Mechanism Design A Manifesto , 2003 .

[230]  C. E. Alchourrón,et al.  The Expressive Conception of Norms , 1981 .

[231]  Nic Wilson.  Algorithms for Dempster-Shafer Theory , 2000 .

[232]  N. Gilbert,et al.  Artificial Societies: The Computer Simulation of Social Life , 1995 .

[233]  Victor R. Lesser,et al.  An Agent Infrastructure to Build and Evaluate Multi-Agent Systems: The Java Agent Framework and Multi-Abent System Simulator , 2000, Agents Workshop on Infrastructure for Multi-Agent Systems.

[234]  Marina De Vos,et al.  Extending Answer Sets for Logic Programming Agents , 2004, Annals of Mathematics and Artificial Intelligence.

[235]  Jon C. Helton,et al.  Numerical methods in engineering and science , 1986 .

[236]  Claudio Bartolini,et al.  Semantic web support for the business-to-business e-commerce lifecycle , 2002, WWW '02.

[237]  Kim Jong Tae,et al.  New efficient clique partitioning algorithms for register-transfer synthesis of data paths , 2002 .

[238]  Alan Bundy,et al.  Eco-Logic - Logic-Based Approaches to Ecological Modeling , 1991, Logic programming.

[239]  Mihhail Matskin,et al.  Linear Logic, Partial Deduction and Cooperative Problem Solving , 2003, DALT.

[240]  Martha E. Pollack,et al.  Evaluating new options in the context of existing plans , 2001, Artif. Intell..

[241]  Marco Colombetti,et al.  Operational specification of a commitment-based agent communication language , 2002, AAMAS '02.

[242]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

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

[244]  Kenneth L. McMillan,et al.  Symbolic model checking: an approach to the state explosion problem , 1992 .

[245]  Eugene C. Freuder.  Synthesizing constraint expressions , 1978, CACM.

[246]  John McCarthy,et al.  Mathematical Theory of Computation , 1991 .

[247]  Martin John Brain.  Undergraduate Dissertation: Incremental Answer Set Programming , 2004 .

[248]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[249]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[250]  Mehdi Dastani,et al.  The BOID architecture: conflicts between beliefs, obligations, intentions and desires , 2001, AGENTS '01.

[251]  Ronald Prescott Loui,et al.  Process and Policy: Resource‐Bounded NonDemonstrative Reasoning , 1998, Comput. Intell..

[252]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

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

[254]  Wojciech Jamroga,et al.  A logic for strategic reasoning , 2005, AAMAS '05.

[255]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

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

[257]  Michael Gelfond,et al.  An A Prolog decision support system for the Space Shuttle , 2001, Answer Set Programming.

[258]  Norman Foo,et al.  Negotiating Logic Programs , 1998 .

[259]  C. List,et al.  Aggregating Sets of Judgments: An Impossibility Result , 2002, Economics and Philosophy.

[260]  Geoffrey Hall,et al.  Animal cognition , 1985, Nature.

[261]  Gregor Hohpe,et al.  Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions , 2003 .

[262]  Klaus Havelund,et al.  Model Checking Programs , 2004, Automated Software Engineering.

[263]  Michael Wooldridge,et al.  Model Checking Knowledge and Time , 2002, SPIN.

[264]  Wamberto Weber Vasconcelos,et al.  Expressive global protocols via logic-based electronic institutions , 2003, AAMAS '03.

[265]  Paolo Torroni,et al.  Minimally intrusive negotiating agents for resource sharing , 2003, IJCAI.

[266]  Makoto Yokoo,et al.  The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..

[267]  Álvaro F. Moreira,et al.  Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L) , 2004, Annals of Mathematics and Artificial Intelligence.

[268]  Desh Ranjan,et al.  An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology , 2003, DALT.

[269]  Tuomas Sandholm.  Contract Types for Satisficing Task Allocation:I Theoretical Results , 2002 .

[270]  Evelina Lamma,et al.  The SCIFF Abductive Proof-Procedure , 2005, AI*IA.

[271]  Benjamin N. Grosof,et al.  SweetDeal : Represen with Exceptions using and Process , 2003 .

[272]  Gary G. Hendrix,et al.  Computational Models of Belief and the Semantics of Belief Sentences , 1982 .

[273]  Wamberto Weber Vasconcelos,et al.  A Distributed Architecture for Norm-Aware Agent Societies , 2005, DALT.

[274]  Marc Denecker,et al.  What's in a model? Epistemological analysis of Logic Programming , 2004, Answer Set Programming.

[275]  E. Katsh,et al.  Online Dispute Resolution: Resolving Conflicts in Cyberspace , 2001 .

[276]  Benjamin Cox,et al.  NetBill Security and Transaction Protocol , 1995, USENIX Workshop on Electronic Commerce.

[277]  Michael Taylor.  Diversity of life , 1994, Nature.

[278]  Frank Guerin,et al.  A semantic framework for specifying agent communication languages , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[279]  Olivier Bonnet-Torrés,et al.  From team plan to individual plans: a petri net-based approach , 2005, AAMAS '05.

[280]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[281]  Hector J. Levesque,et al.  Goal Change , 2005, IJCAI.

[282]  Evelina Lamma,et al.  Mapping deontic operators to abductive expectations , 2006, NORMAS.

[283]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[284]  Chaoping Xing,et al.  Coding Theory: A First Course , 2004 .

[285]  Michael Gelfond.  Answer Set Programming and the Design of Deliberative Agents , 2004, ICLP.

[286]  Edmund H. Durfee,et al.  Identifying and Resolving Conflicts among Agents with Hierarchical Plans , 1999 .

[287]  Paolo Mancarella,et al.  Declarative Agent Control , 2004, CLIMA.

[288]  A. Nerode,et al.  Logics for hybrid systems , 2000, Proceedings of the IEEE.

[289]  M. Winikoff,et al.  Declarative & Procedural Goals in Intelligent Agent Systems , 2002, KR.

[290]  Michael Winikoff,et al.  Avoiding Resource Conflicts in Intelligent Agents , 2002, ECAI.

[291]  Alexander Artikis,et al.  Formalization of a voting protocol for virtual organizations , 2005, AAMAS '05.

[292]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[293]  Bernhard Nebel,et al.  A Knowledge Level Analysis of Belief Revision , 1989, KR.

[294]  Moshe Tennenholtz,et al.  On Social Laws for Artificial Agent Societies: Off-Line Design , 1995, Artif. Intell..

[295]  David Lorge Parnas,et al.  Information Distribution Aspects of Design Methodology , 1971, IFIP Congress.

[296]  Thomas Hanne,et al.  A Multi-Objective Evolutionary Algorithm for Scheduling and Inspection Planning in Software Development Projects , 2003 .

[297]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[298]  A. McLennan.  The Expected Number of Nash Equilibria of a Normal Form Game , 2005 .

[299]  Enrico H. Gerding,et al.  Scientific approaches and techniques for negotiation. A game theoretic and artificial intelligence perspective , 2000 .

[300]  Francesco Amigoni,et al.  A decentralized bargaining protocol on dependent continuous multi-issue for approximate pareto optimal outcomes , 2005, AAMAS '05.

[301]  Chiaki Sakama,et al.  An abductive framework for computing knowledge base updates , 2003, Theory Pract. Log. Program..

[302]  Marcus J. Huber.  JAM: a BDI-theoretic mobile agent architecture , 1999, AGENTS '99.

[303]  Tibor Bosse,et al.  Formalisation and Analysis of the Temporal Dynamics of Conditioning , 2005, AOSE.

[304]  Michael Wooldridge,et al.  Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming , 2004, Annals of Mathematics and Artificial Intelligence.

[305]  Timothy W. Finin,et al.  Semantics for an Agent Communication Language , 1997, ATAL.

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

[307]  Carole A. Goble,et al.  Ontologies in Bioinformatics , 2004, Handbook on Ontologies.

[308]  S. Dixon,et al.  A Finite Base Belief Revision System , 1993 .

[309]  Wiebe van der Hoek.  On the Semantics of Graded Modalities , 1992, J. Appl. Non Class. Logics.

[310]  Robbert-Jan Beun,et al.  Ontological feedback in multiagent systems , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[311]  C. List.  Group Knowledge and Group Rationality: A Judgment Aggregation Perspective , 2005, Episteme.

[312]  Sébastien Konieczny,et al.  Analysing Rational Properties of Change Operators Based on Forward Chaining , 1998, Transactions and Change in Logic Databases.

[313]  Nicholas R. Jennings,et al.  Commitments and conventions: The foundation of coordination in multi-agent systems , 1993, The Knowledge Engineering Review.

[314]  Keith L. Clark,et al.  Multi-threading and Message Communication in Qu-Prolog , 2001, Theory Pract. Log. Program..

[315]  Robert A. Kowalski,et al.  Towards a Unified Agent Architecture that Combines Rationality with Reactivity , 1996, Logic in Databases.

[316]  Ilkka Niiniluoto,et al.  The Logic and epistemology of scientific change , 1979 .

[317]  Michael Winikoff,et al.  Enhancing Commitment Machines , 2004, DALT.

[318]  Brahim Chaib-draa,et al.  A Computational Model for Conversation Policies for Agent Communication , 2004, CLIMA.

[319]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[320]  Tibor Bosse,et al.  LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn , 2005, IEA/AIE.

[321]  Brian Henderson-Sellers,et al.  Agent-oriented methodologies , 2005 .

[322]  Raimo Tuomela,et al.  Belief versus acceptance , 2000 .

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

[324]  Donald W. Loveland,et al.  Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.

[325]  Javier Vázquez-Salceda,et al.  Implementing Norms in Multiagent Systems , 2004, MATES.

[326]  Harry Chen,et al.  Intelligent Agents Meet the Semantic Web in Smart Spaces , 2004, IEEE Internet Comput..

[327]  Munindar P. Singh.  A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[328]  Douglas Walton,et al.  Argument and Multi-Agent Systems , 2004, Argumentation Machines.

[329]  Timothy W. Finin,et al.  Desiderata for Agent Communication Languages , 1995 .

[330]  Michael P. Wellman.  Online Marketplaces , 2004, The Practical Handbook of Internet Computing.

[331]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[332]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[333]  Simon Parsons,et al.  An argumentation-based Semantics for Agent Communication Languages , 2002, ECAI.

[334]  Renata Wassermann,et al.  Approximate Belief Revision , 2001, Log. J. IGPL.

[335]  Sarit Kraus,et al.  Strategic Negotiation in Multiagent Environments , 2001, Intelligent robots and autonomous agents.

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

[337]  Frank Dignum,et al.  Programming agent deliberation: an approach illustrated using the 3APL language , 2003, AAMAS '03.

[338]  Max Bramer.  Logic Programming with Prolog , 2005, Springer London.

[339]  Ilkka Niemelä,et al.  Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.

[340]  Olivier Boissier,et al.  Spécification structurelle, fonctionnelle et déontique d'organisations dans les SMA , 2002, JFSMA.

[341]  Alexander Artikis,et al.  A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks , 2004, DALT.

[342]  David A. McAllester.  Truth Maintenance , 1990, AAAI.

[343]  Dominique Fournier,et al.  SPACE: A Method to Increase Tracability in MAS Development , 2003, PROMAS.

[344]  W. Kintsch,et al.  Strategies of discourse comprehension , 1983 .

[345]  Davide Ancona,et al.  Coo-AgentSpeak: cooperation in AgentSpeak through plan exchange , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[346]  Rob Pooley,et al.  The unified modelling language , 1999, IEE Proc. Softw..

[347]  Julian Padget,et al.  Formalizing a Language for Institutions and Norms , 2001, ATAL.

[348]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[349]  Jürgen Dix,et al.  Monitoring Agents using Declarative Planning , 2003, Fundam. Informaticae.

[350]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[351]  Marc Esteva,et al.  On the formal specification of electronic institutions , 2001 .

[352]  Rafael Heitor Bordini,et al.  On Entering an Open Society , 1994 .

[353]  Rajeev Goré,et al.  Tableau Methods for Modal and Temporal Logics , 1999 .

[354]  Winfried Lamersdorf,et al.  Jadex: A Short Overview , 2004 .

[355]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..

[356]  Avelino Francisco Zorzo,et al.  Propositional planning in BDI agents , 2004, SAC '04.

[357]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[358]  Donald Perlis,et al.  Active Logics: A Unified Formal Approach to Episodic Reasoning , 1999 .

[359]  Edmund H. Durfee,et al.  Performance of coordinating concurrent hierarchical planning agents using summary information , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[360]  Patrice Enjalbert,et al.  Norms and time in agent-based systems , 2001, ICAIL '01.

[361]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[362]  Jon Doyle,et al.  Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

[363]  Stefania Costantini,et al.  A Logic Programming Language for Multi-agent Systems , 2002, JELIA.

[364]  Jordi Sabater-Mir,et al.  Skeleton-based agent development for electronic institutions , 2002, AAMAS '02.

[365]  John Thangarajah,et al.  Managing the Concurrent Execution of Goals in Intelligent Agents , 2005 .

[366]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[367]  Simon Dixon,et al.  The implementation of a first-order logic AGM belief revision system , 1993, Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93).

[368]  Jaakko Hintikka,et al.  Impossible possible worlds vindicated , 1975, J. Philos. Log..

[369]  A. Lodder.  DiaLaw: On Legal Justification and Dialogical Models of Argumentation , 1999 .

[370]  Edmund H. Durfee,et al.  Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information , 1999, AAAI/IAAI.

[371]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[372]  James Bailey,et al.  A Reliable Computational Model For BDI Agents , 2003 .

[373]  Thomas A. Henzinger,et al.  Alternating Refinement Relations , 1998, CONCUR.

[374]  K. Konolige.  A deduction model of belief and its logics , 1984 .

[375]  Daniel E. O'Leary,et al.  Artificial intelligence and virtual organizations , 1997, Commun. ACM.

[376]  Rolf A. Eberle.  A logic of believing, knowing, and inferring , 1974, Synthese.

[377]  Frank Dignum,et al.  Autonomous agents with norms , 1999, Artificial Intelligence and Law.

[378]  Chitta Baral,et al.  Representing Actions: Laws, Observations and Hypotheses , 1997, J. Log. Program..

[379]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[380]  Michael Winikoff,et al.  Agent negotiation as proof search in linear logic , 2002, AAMAS '02.

[381]  Mehdi Dastani,et al.  An Extension of BDICTL with Functional Dependencies and Components , 2002, LPAR.

[382]  J. M. Watt.  Numerical Initial Value Problems in Ordinary Differential Equations , 1972 .

[383]  Nicolas Maudet,et al.  On optimal outcomes of negotiations over resources , 2003, AAMAS '03.

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

[385]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[386]  Pekka Orponen,et al.  Dempster's Rule of Combination is #P-Complete , 1990, Artif. Intell..

[387]  Javier Vázquez-Salceda,et al.  Norms in Multiagent Systems: some Implementation Guidelines , 2004 .

[388]  Cristiano Castelfranchi,et al.  Norms as Mental Objects - From Normative Beliefs to Normative Goals , 1993, MAAMAW.

[389]  Nicholas R. Jennings,et al.  A Classification Scheme for Negotiation in Electronic Commerce , 2001, AgentLink.

[390]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.