Agent-Oriented Software Engineering

The ATAL workshops focus on the links between the theory and practice of intelligent agents. One aspect of this, which is steadily growing in importance, is the idea of agent technology as a software engineering paradigm. Previous ATAL workshops have had special tracks on programming languages for agent-oriented development, and methodologies for agent system development. ATAL-99 aims to build on this experience by focussing on the wider issues of agents as a software engineering paradigm.

[1]  Michael Wooldridge,et al.  Production Sequencing as Negotiation , 1996, PAAM.

[2]  Nicholas R. Jennings,et al.  Using similarity criteria to make negotiation trade-offs , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[3]  Nicholas R. Jennings,et al.  A methodology for agent-oriented analysis and design , 1999, AGENTS '99.

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

[5]  Frank Buschmann,et al.  A system of patterns , 1995 .

[6]  H. V. Parunak.  Chapter 10 – Manufacturing Experience with the Contract Net , 1987 .

[7]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[8]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[9]  D. Dennett.  The Intentional Stance. , 1987 .

[10]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[11]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

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

[13]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

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

[15]  Reid G. Smith,et al.  A Framework for Distributed Problem Solving , 1979, IJCAI.

[16]  Nicholas R. Jennings,et al.  Foundations of Distributed AI , 1996 .

[17]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

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

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

[20]  Christine Guilfoyle,et al.  Intelligent Agents: the New Revolution in Software , 1994 .

[21]  Joseph Y. Halpern,et al.  Model Checking vs. Theorem Proving: A Manifesto , 1991, KR.

[22]  Nicholas R. Jennings,et al.  Implementing a business process management system using adept: A real-world case study , 2000, Appl. Artif. Intell..

[23]  Nicholas R. Jennings,et al.  Developing Industrial Multi-Agent Systems , 1995, ICMAS.

[24]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[25]  Joseph Sifakis,et al.  Specification and Development of Reactive Systems - Response , 1986, IFIP Congress.

[26]  Clemens Szyperski,et al.  Component software , 1997 .

[27]  Matthias Klusch,et al.  Intelligent Information Agents , 1999, Springer Berlin Heidelberg.

[28]  Frederick Hayes-Roth,et al.  Distributed Intelligence for Air Fleet Control , 1981 .

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

[30]  Michael Fisher.  An alternative approach to concurrent theorem-proving , 1997, Parallel Processing for Artificial Intelligence 3.

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

[32]  Nicholas V. Findler,et al.  An examination of distributed planning in the world of air traffic control , 1988 .

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

[34]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[35]  Scott A. DeLoach,et al.  An Overview of the Multiagent Systems Engineering Methodology , 2000, AOSE.

[36]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[37]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[38]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[39]  Nicholas R. Jennings,et al.  Foundations of distributed artificial intelligence , 1996, Sixth-generation computer technology series.

[40]  Daniel S. Weld,et al.  Intelligent Agents on the Internet: Fact, Fiction, and Forecast , 1995, IEEE Expert.

[41]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[42]  Nicholas R. Jennings,et al.  Towards a social level characterisation of socially responsible agents , 1997, IEE Proc. Softw. Eng..

[43]  Nicholas R. Jennings,et al.  Pitfalls of agent-oriented development , 1998, AGENTS '98.

[44]  Michael Wooldridge,et al.  The logical modelling of computational multi-agent systems , 1992 .

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

[46]  J. Davenport.  Editor , 1960 .

[47]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[48]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[49]  Robin Milner,et al.  Elements of interaction , 1993 .

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

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

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

[53]  Nicholas R. Jennings,et al.  Efficient mechanisms for the supply of services in multi-agent environments , 1998, ICE '98.

[54]  Brahim Chaib-draa,et al.  Industrial applications of distributed AI , 1995, CACM.

[55]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

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

[57]  Nicholas Negroponte,et al.  Being Digital , 1995 .

[58]  Victor R. Lesser,et al.  Distributed Interpretation: A Model and Experiment , 1980, IEEE Transactions on Computers.

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

[60]  Gul Agha,et al.  Research directions in concurrent object-oriented programming , 1993 .

[61]  Allen Newell,et al.  Reflections on the Knowledge Level , 1993, Artif. Intell..

[62]  H. Van Dyke Parunak,et al.  Industrial and practical applications of DAI , 1999 .

[63]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[64]  Edmund H. Durfee,et al.  Coordination of distributed problem solvers , 1988 .

[65]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

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

[67]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.

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

[69]  Elizabeth A. Kendall,et al.  Agent Software Engineering with Role Modelling , 2009, AOSE.

[70]  Nicholas R. Jennings,et al.  Applied Artificial Intelligence: An International Journal , 2022 .

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

[72]  Michael Wooldridge,et al.  Agent technology: foundations, applications, and markets , 1998 .

[73]  Dov M. Gabbay,et al.  METATEM: A Framework for Programming in Temporal Logic , 1989, REX Workshop.

[74]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[75]  Les Gasser,et al.  AI on the WWW : Supply and Demand Agents , 1995, IEEE Expert.

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

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