1. Ernest Friedman-Hill. Jess in Action. Manning Publications Co., 2003.
   Keywords: agent programming languages, honours reading, logistics.
   
   

   Abstract:

   "Imagine a different way to program in which you specify rules and facts instead of the usual linear set of instructions. That's the idea behind rule-based programming. A rule engine automatically decides how to apply the rules to your facts and hands you the result. This approach is ideal for expressing business rules and is increasingly used in enterprise computing. Jess is a popular rule engine written in Java. It's supported by Sandia Labs and has an active online community. If you have a problem that can be solved with rules, Jess in Action will show you how. (If you are not sure, read chapter 2.) Written by the creator of Jess, this book is an accessible and practical guide to rule-based system development in Java. Jess in Action first introduces rule programming concepts and teaches you the Jess language. Armed with this knowledge, you then progress through a series of fully-developed applications chosen to expose you to practical rule-based development. The book shows you how you can add power and intelligence to your Java software."

   
   

   @Book{Friedman-Hill2003,
   author = "Ernest Friedman-Hill",
   title = "Jess in Action",
   publisher = "Manning Publications Co.",
   abstract = "Imagine a different way to program in which you specify rules and facts instead of the usual linear set of instructions. That's the idea behind rule-based programming. A rule engine automatically decides how to apply the rules to your facts and hands you the result. This approach is ideal for expressing business rules and is increasingly used in enterprise computing. Jess is a popular rule engine written in Java. It's supported by Sandia Labs and has an active online community. If you have a problem that can be solved with rules, Jess in Action will show you how. (If you are not sure, read chapter 2.) Written by the creator of Jess, this book is an accessible and practical guide to rule-based system development in Java. Jess in Action first introduces rule programming concepts and teaches you the Jess language. Armed with this knowledge, you then progress through a series of fully-developed applications chosen to expose you to practical rule-based development. The book shows you how you can add power and intelligence to your Java software.",
   keywords = "agent programming languages, honours reading, logistics",
   year = "2003",
   
   }
   




2. Michael Luck, Peter McBurney, and Chris Preist. Agent Technology: Enabling next generation computing: a roadmap for agent based computing. Agentlink, 2003.
   Keywords: agents, honours reading.
   
   

   Abstract:

   "As we move into 2003, the information society is coming of age. With Internet penetration in Western Europe and the US expected to pass 60this year, the opportunities for technological advance are enormous. The European Commission has recognised this with its eEurope initiative in which it aims to bring every citizen, home, school, business and administration online to create a digitally literate Europe. The value lies not in the objective itself, but in its ability to facilitate the advance of Europe into new ways of living and working. Just as in the first literacy revolution, our lives will change in ways never imagined. The vision of eEurope is underpinned by a technological infrastructure that is now taken for granted. Yet it provides us with the ability to pioneer radical new ways of doing business, of undertaking science, and, of managing our everyday activities. Key to this step change is the development of appropriate mechanisms to automate and improve existing tasks, to anticipate desired actions on our behalf (as human users) and to undertake them, while at the same time enabling us to stay in the loop and retain as much control as required. For many, these mechanisms are now being realised by agent technologies, which are already providing dramatic and sustained benefits in several business and industry domains, including B2B exchanges, supply chain management, car manufacturing, and so on. While there are many real successes of agent technologies to report, there is still much to be done in research and development for the full benefits to be achieved. This is especially true in the context of environments of pervasive computing devices that are envisaged in coming years. This report describes the current state-of-the-art of agent technologies and identifies trends and challenges that will need to be addressed over the next 10 years to progress the field and realise the benefits. It offers a roadmap that is the result of discussions among participants from over 150 organisations including universities, research institutions, large multinational corporations and smaller IT start-up companies. The roadmap is a living document and will continue to be developed over time, identifying successes and challenges, and pointing to future possibilities and demands. Agent technologies are fundamental to the realisation of next generation computing. Addressing the challenges identified here to focus current and future R&D is crucial."

   
   

   @Book{Luck2003,
   author = "Michael Luck and Peter McBurney and Chris Preist",
   title = "Agent Technology: Enabling next generation computing: a roadmap for agent based computing",
   publisher = "Agentlink",
   abstract = "As we move into 2003, the information society is coming of age. With Internet penetration in Western Europe and the US expected to pass 60this year, the opportunities for technological advance are enormous. The European Commission has recognised this with its eEurope initiative in which it aims to bring every citizen, home, school, business and administration online to create a digitally literate Europe. The value lies not in the objective itself, but in its ability to facilitate the advance of Europe into new ways of living and working. Just as in the first literacy revolution, our lives will change in ways never imagined. The vision of eEurope is underpinned by a technological infrastructure that is now taken for granted. Yet it provides us with the ability to pioneer radical new ways of doing business, of undertaking science, and, of managing our everyday activities. Key to this step change is the development of appropriate mechanisms to automate and improve existing tasks, to anticipate desired actions on our behalf (as human users) and to undertake them, while at the same time enabling us to stay in the loop and retain as much control as required. For many, these mechanisms are now being realised by agent technologies, which are already providing dramatic and sustained benefits in several business and industry domains, including B2B exchanges, supply chain management, car manufacturing, and so on. While there are many real successes of agent technologies to report, there is still much to be done in research and development for the full benefits to be achieved. This is especially true in the context of environments of pervasive computing devices that are envisaged in coming years. This report describes the current state-of-the-art of agent technologies and identifies trends and challenges that will need to be addressed over the next 10 years to progress the field and realise the benefits. It offers a roadmap that is the result of discussions among participants from over 150 organisations including universities, research institutions, large multinational corporations and smaller IT start-up companies. The roadmap is a living document and will continue to be developed over time, identifying successes and challenges, and pointing to future possibilities and demands. Agent technologies are fundamental to the realisation of next generation computing. Addressing the challenges identified here to focus current and future R&D is crucial.",
   keywords = "agents, honours reading",
   year = "2003",
   
   }
   




3. Kenneth H. Rosen. Discrete mathematics and its applications. McGraw-Hill, Boston, 5th edition, 2003.
   Note: 2002070890 Kenneth H. Rosen. Includes bibliographic references (p. 1-8, 4th set) and indexes.
   Keywords: theory of computation, computational complexity, honours reading.
   

   @Book{Rosen2003,
   author = "Kenneth H. Rosen",
   title = "Discrete mathematics and its applications",
   publisher = "McGraw-Hill",
   address = "Boston",
   edition = "5th",
   note = "2002070890 Kenneth H. Rosen. Includes bibliographic references (p. 1-8, 4th set) and indexes.",
   keywords = "theory of computation, computational complexity, honours reading",
   year = "2003",
   
   }
   




4. Stuart J. Russell and Peter Norvig. Artificial intelligence : a modern approach, Prentice Hall series in artificial intelligence.. Prentice Hall, Upper Saddle River, N.J. ; [Great Britain], 2nd edition, 2003.
   Note: GBA3-9270 Stuart J. Russell and Peter Norvig ; contributing writers, John F. Canny ... [et al.]. Previous ed.: 1995. Includes bibliographical references and index.
   Keywords: artificial intelligence, honours reading, agents.
   

   @Book{Russell2003,
   author = "Stuart J. Russell and Peter Norvig",
   title = "Artificial intelligence : a modern approach",
   publisher = "Prentice Hall",
   address = "Upper Saddle River, N.J. ; [Great Britain]",
   edition = "2nd",
   series = "Prentice Hall series in artificial intelligence.",
   note = "GBA3-9270 Stuart J. Russell and Peter Norvig ; contributing writers, John F. Canny ... [et al.]. Previous ed.: 1995. Includes bibliographical references and index.",
   keywords = "artificial intelligence, honours reading, agents",
   year = "2003",
   
   }
   

1. T. Y. Chen, Iyad Rahwan, and Yun Yang. Temporal Interaction Diagrams for Multi-Process Environments. In Scott J. Lloyd Peckham and Joan, editors,Practicing Software Engineering in the 21st Century, pages 143--155. IRM Press, USA, 2003.
   Keywords: agentlab, models of interaction and context aware applications.
   

   @InCollection{Chen2003,
   author = "T. Y. Chen and Iyad Rahwan and Yun Yang",
   title = "Temporal Interaction Diagrams for Multi-Process Environments",
   booktitle = "Practicing Software Engineering in the 21st Century",
   editor = "Scott J. Lloyd Peckham and Joan",
   publisher = "IRM Press, USA",
   pages = "143--155",
   keywords = "agentlab, models of interaction and context aware applications",
   year = "2003",
   
   }
   




2. Abdelaziz Fellah, Allaoua Maamir, and Iyad Rahwan. Information Flow Control Using Versions In Object-Oriented Systems. In Robert D. Kent Sands and Todd W., editors,High Performance Computing Systems and Applications. Kluwer Academic Publishers, 2003.
   Keywords: agentlab.
   

   @InCollection{Fellah2003,
   author = "Abdelaziz Fellah and Allaoua Maamir and Iyad Rahwan",
   title = "Information Flow Control Using Versions In Object-Oriented Systems",
   booktitle = "High Performance Computing Systems and Applications",
   editor = "Robert D. Kent Sands and Todd W.",
   publisher = "Kluwer Academic Publishers",
   keywords = "agentlab",
   year = "2003",
   
   }
   




3. S. Goss and A. R. Pearce. Learning Action Plans in a Virtual Environment. In L. Hettinger and M. Haas, editors,Virtual and Adaptive Environments. Lawrence Erlbaum Associates, Inc., 2003.
   Note: ISBN: 0-8058-3107-X.
   Keywords: simulation, agentlab, agent programming languages. [download paper ]
   

   @InCollection{Goss2003,
   author = "S. Goss and A. R. Pearce",
   title = "Learning Action Plans in a Virtual Environment",
   booktitle = "Virtual and Adaptive Environments",
   editor = "L. Hettinger and M. Haas",
   publisher = "Lawrence Erlbaum Associates, Inc.",
   note = "ISBN: 0-8058-3107-X",
   URL = "http://www.agentlab.unimelb.edu.au/papers/goss2003.pdf",
   keywords = "simulation, agentlab, agent programming languages",
   year = "2003",
   
   }
   




4. J. Al-Jaroodi, N. Mohamed, H. Jiang, and D. Swanson. Middleware infrastructure for parallel and distributed programming models in heterogeneous systems. IEEE Transactions on Parallel & Distributed Systems, 14(11):1100--11, 2003.
   Note: Publisher: IEEE, USA.
   Keywords: sensor networks, simulation, honours reading.
   
   

   Abstract:

   "We introduce a middleware infrastructure that provides software services for developing and deploying high-performance parallel programming models and distributed applications on clusters and networked heterogeneous systems. This middleware infrastructure utilizes distributed agents residing on the participating machines and communicating with one another to perform the required functions. An intensive study of the parallel programming models in Java has helped identify the common requirements for a runtime support environment, which we used to define the middleware functionality. A Java-based prototype, based on this architecture, has been developed along with a Java object-passing interface (JOPI) class library. Since this system is written completely in Java, it is portable and allows executing programs in parallel across multiple heterogeneous platforms. With the middleware infrastructure, users need not deal with the mechanisms of deploying and loading user classes on the heterogeneous system. Moreover, details of scheduling, controlling, monitoring, and executing user jobs are hidden, while the management of system resources is made transparent to the user. Such uniform services are essential for facilitating the development and deployment of scalable high-performance Java applications on clusters and heterogeneous systems. An initial deployment of a parallel Java programming model over a heterogeneous, distributed system shows good performance results. In addition, a framework for the agents' startup mechanism and organization is introduced to provide scalable deployment and communication among the agents. (30 References)."

   
   

   @Article{Al-Jaroodi2003,
   author = "J. Al-Jaroodi and N. Mohamed and H. Jiang and D. Swanson",
   title = "Middleware infrastructure for parallel and distributed programming models in heterogeneous systems",
   journal = "IEEE Transactions on Parallel & Distributed Systems",
   volume = "14",
   number = "11",
   pages = "1100--11",
   note = "Publisher: IEEE, USA.",
   abstract = "We introduce a middleware infrastructure that provides software services for developing and deploying high-performance parallel programming models and distributed applications on clusters and networked heterogeneous systems. This middleware infrastructure utilizes distributed agents residing on the participating machines and communicating with one another to perform the required functions. An intensive study of the parallel programming models in Java has helped identify the common requirements for a runtime support environment, which we used to define the middleware functionality. A Java-based prototype, based on this architecture, has been developed along with a Java object-passing interface (JOPI) class library. Since this system is written completely in Java, it is portable and allows executing programs in parallel across multiple heterogeneous platforms. With the middleware infrastructure, users need not deal with the mechanisms of deploying and loading user classes on the heterogeneous system. Moreover, details of scheduling, controlling, monitoring, and executing user jobs are hidden, while the management of system resources is made transparent to the user. Such uniform services are essential for facilitating the development and deployment of scalable high-performance Java applications on clusters and heterogeneous systems. An initial deployment of a parallel Java programming model over a heterogeneous, distributed system shows good performance results. In addition, a framework for the agents' startup mechanism and organization is introduced to provide scalable deployment and communication among the agents. (30 References).",
   keywords = "sensor networks, simulation, honours reading",
   year = "2003",
   
   }
   




5. P. Bellavista, A. Corradi, R. Montanari, and C. Stefanelli. Context-aware middleware for resource management in the wireless Internet. IEEE Transactions on Software Engineering, 29(12):1086--99, 2003.
   Note: Publisher: IEEE, USA.
   Keywords: sensor networks, simulation, honours reading.
   
   

   Abstract:

   "The provisioning of Web services over the wireless Internet introduces novel challenging issues for service design and implementation: from user/terminal mobility during service execution, to wide heterogeneity of portable access devices and unpredictable modifications in accessible resources. In this scenario, there are frequent provision-time changes in the context, defined as the logical set of accessible resources depending on client location, access terminal capabilities, and system/service management policies. The development of context-dependent services requires novel middlewares with full context visibility. We propose a middleware for context-aware resource management, called CARMEN, capable of supporting the automatic reconfiguration of wireless Internet services in response to context changes without any intervention on the service logic. CARMEN determines the context on the basis of metadata, which include declarative management policies and profiles for user preferences, terminal capabilities, and resource characteristics. In addition, CARMEN exploits the mobile agent technology to implement mobile middleware components that follow the provision-time movement of clients to support locally their customized service access. The proposed middleware shows how metadata and mobile agents can favor component reusability and automatic service reconfiguration, by reducing the development/ deployment complexity. (49 References)."

   
   

   @Article{Bellavista2003,
   author = "P. Bellavista and A. Corradi and R. Montanari and C. Stefanelli",
   title = "Context-aware middleware for resource management in the wireless Internet",
   journal = "IEEE Transactions on Software Engineering",
   volume = "29",
   number = "12",
   pages = "1086--99",
   note = "Publisher: IEEE, USA.",
   abstract = "The provisioning of Web services over the wireless Internet introduces novel challenging issues for service design and implementation: from user/terminal mobility during service execution, to wide heterogeneity of portable access devices and unpredictable modifications in accessible resources. In this scenario, there are frequent provision-time changes in the context, defined as the logical set of accessible resources depending on client location, access terminal capabilities, and system/service management policies. The development of context-dependent services requires novel middlewares with full context visibility. We propose a middleware for context-aware resource management, called CARMEN, capable of supporting the automatic reconfiguration of wireless Internet services in response to context changes without any intervention on the service logic. CARMEN determines the context on the basis of metadata, which include declarative management policies and profiles for user preferences, terminal capabilities, and resource characteristics. In addition, CARMEN exploits the mobile agent technology to implement mobile middleware components that follow the provision-time movement of clients to support locally their customized service access. The proposed middleware shows how metadata and mobile agents can favor component reusability and automatic service reconfiguration, by reducing the development/ deployment complexity. (49 References).",
   keywords = "sensor networks, simulation, honours reading",
   year = "2003",
   
   }
   




6. Dan Boneh and Matthe Franlin. Identity-Based Encryption from the Weil Pairing. SIAM J. Comput., 32:583, 2003.
   Keywords: cryptography, honours reading.
   

   @Article{Boneh2003,
   author = "Dan Boneh and Matthe Franlin",
   title = "Identity-Based Encryption from the Weil Pairing",
   journal = "SIAM J. Comput.",
   volume = "32",
   pages = "583",
   keywords = "cryptography, honours reading",
   year = "2003",
   
   }
   




7. M. E. Bratman. Autonomy and hierarchy. Social Philosophy & Policy, 20(2):156--176, 2003.
   Keywords: BDI, agent communication languages, agent programming languages, honours reading, philosophy. [download paper ]
   

   @Article{Bratman2003,
   author = "M. E. Bratman",
   title = "Autonomy and hierarchy",
   journal = "Social Philosophy & Policy",
   volume = "20",
   number = "2",
   pages = "156--176",
   URL = "://000183291400006",
   keywords = "BDI, agent communication languages, agent programming languages, honours reading, philosophy",
   year = "2003",
   
   }
   




8. J. Dix, H. Munoz-Avila, D. S. Nau, and L. Zhang. IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Annals of Mathematics & Artificial Intelligence, 37(4):381--407, 2003.
   Note: Publisher: Kluwer Academic Publishers, Netherlands.
   Keywords: planning, honours reading, agent programming languages, computational complexity.
   
   

   Abstract:

   "In this paper we describe a formalism for integrating the SHOP HTN planning system with the IMPACT multi-agent environment. We define the A-SHOP algorithm, an agentized adaptation of the SHOP planning algorithm that takes advantage of IMPACT's capabilities for interacting with external agents, performing mixed symbolic/numeric computations, and making queries to distributed, heterogeneous information sources (such as arbitrary legacy and/or specialized data structures or external databases). We show that A-SHOP is both sound and complete if certain conditions are met. (42 References)."

   
   

   @Article{Dix2003,
   author = "J. Dix and H. Munoz-Avila and D. S. Nau and L. Zhang",
   title = "{IMPACT}ing {SHOP}: Putting an {AI} planner into a multi-agent environment",
   journal = "Annals of Mathematics & Artificial Intelligence",
   volume = "37",
   number = "4",
   pages = "381--407",
   note = "Publisher: Kluwer Academic Publishers, Netherlands.",
   abstract = "In this paper we describe a formalism for integrating the SHOP HTN planning system with the IMPACT multi-agent environment. We define the A-SHOP algorithm, an agentized adaptation of the SHOP planning algorithm that takes advantage of IMPACT's capabilities for interacting with external agents, performing mixed symbolic/numeric computations, and making queries to distributed, heterogeneous information sources (such as arbitrary legacy and/or specialized data structures or external databases). We show that A-SHOP is both sound and complete if certain conditions are met. (42 References).",
   keywords = "planning, honours reading, agent programming languages, computational complexity",
   year = "2003",
   
   }
   




9. A. Dovier and C. Piazza. The Subgraph Bisimulation Problem. IEEE Transactions on Knowledge & Data Engineering, 15(4):1055--6, 2003.
   Note: Publisher: IEEE, USA.
   Keywords: graph theory, model theory, honours reading, graph matching.
   
   

   Abstract:

   "We study the complexity of the Subgraph Bisimulation Problem, which relates to Graph Bisimulation as Subgraph Isomorphism relates to Graph Isomorphism, and we prove its NP-Completeness. Our analysis is motivated by its applications to semistructured databases. (10 References)."

   
   

   @Article{Dovier2003,
   author = "A. Dovier and C. Piazza",
   title = "The Subgraph Bisimulation Problem",
   journal = "IEEE Transactions on Knowledge & Data Engineering",
   volume = "15",
   number = "4",
   pages = "1055--6",
   note = "Publisher: IEEE, USA.",
   abstract = "We study the complexity of the Subgraph Bisimulation Problem, which relates to Graph Bisimulation as Subgraph Isomorphism relates to Graph Isomorphism, and we prove its NP-Completeness. Our analysis is motivated by its applications to semistructured databases. (10 References).",
   keywords = "graph theory, model theory, honours reading, graph matching",
   year = "2003",
   
   }
   




10. Matthias Fichtner, Axel Gromann, and Michael Thielscher. Intelligent execution monitoring in dynamic environments. Fundam. Inf., 57(2-4):371--392, 2003.
    Keywords: multiagent coordination, honours reading, agent programming languages.
    

    @Article{Fichtner2003,
    author = "Matthias Fichtner and Axel Gromann and Michael Thielscher",
    title = "Intelligent execution monitoring in dynamic environments",
    journal = "Fundam. Inf.",
    volume = "57",
    number = "2-4",
    pages = "371--392",
    keywords = "multiagent coordination, honours reading, agent programming languages",
    year = "2003",
    
    }
    




11. Carlos Guestrin, Daphne Koller, Ronald Parr, and Shobha Venkataraman. Efficient Solution Algorithms for Factored MDPs. Journal of Artificial Intelligence Research (JAIR), 19:399--468, 2003.
    Keywords: Markov theory, honours reading.
    

    @Article{Guestrin2003,
    author = "Carlos Guestrin and Daphne Koller and Ronald Parr and Shobha Venkataraman",
    title = "Efficient Solution Algorithms for Factored {MDP}s",
    journal = "Journal of Artificial Intelligence Research (JAIR)",
    volume = "19",
    pages = "399--468",
    keywords = "Markov theory, honours reading",
    year = "2003",
    
    }
    




12. M. L. Kahn and C. D. T. Cicalese. CoABS Grid scalability experiments. Autonomous Agents & Multi-Agent Systems, 7(1-2):171--8, 2003.
    Note: Publisher: Kluwer Academic Publishers, Netherlands.
    Keywords: sensor networks, simulation, honours reading.
    
    

    Abstract:

    "CoABS Grid is middleware that integrates heterogeneous agent-based, object-based, and legacy systems. It includes a method-based application programming interface to register agents, advertise agent capabilities, discover agents based on their capabilities, and send messages between agents. Agent registration and discovery are reliant on one or more lookup services. The experiments discussed investigate how timing of sequential agent registration and lookup varies as the total number of registered agents increases. No degradation in performance was observed in experiments with up to 10,000 agents for lookup. Minimal degradation in registration time was observed as the number of registered agents increased. Further experiments are planned. (5 References)."

    
    

    @Article{Kahn2003,
    author = "M. L. Kahn and C. D. T. Cicalese",
    title = "Co{ABS} Grid scalability experiments",
    journal = "Autonomous Agents \& Multi-Agent Systems",
    volume = "7",
    number = "1-2",
    pages = "171--8",
    note = "Publisher: Kluwer Academic Publishers, Netherlands.",
    abstract = "CoABS Grid is middleware that integrates heterogeneous agent-based, object-based, and legacy systems. It includes a method-based application programming interface to register agents, advertise agent capabilities, discover agents based on their capabilities, and send messages between agents. Agent registration and discovery are reliant on one or more lookup services. The experiments discussed investigate how timing of sequential agent registration and lookup varies as the total number of registered agents increases. No degradation in performance was observed in experiments with up to 10,000 agents for lookup. Minimal degradation in registration time was observed as the number of registered agents increased. Further experiments are planned. (5 References).",
    keywords = "sensor networks, simulation, honours reading",
    year = "2003",
    
    }
    




13. Yves Lesperance. On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. IGPL, 11(2):161--178, 2003.
    Keywords: agent programming languages, modal logic, honours reading.
    
    

    Abstract:

    "This paper addresses the problem of ensuring that agents' plans are epistemically feasible in multiagent systems specications. We propose some solutions within the Cognitive Agents Specication Language (CASL). We define a subjective execution construct Subj that causes the plan to be executed in terms of the agent's knowledge state, rather than in terms of the world state. The denition assumes that the agent does not do planning or lookahead, and chooses arbitrarily among the actions allowed by the plan. We also define another deliberative execution operator Delib for smarter agents that do planning. We show how these notions can be used to express whether a process is epistemically feasible for its agent(s) in several types of situations. More generally, the paper shows how a formalization of epistemic feasibility can be integrated with a transition-system semantics for an agent programming/specication language."

    
    

    @Article{Lesperance2003,
    author = "Yves Lesperance",
    title = "On the Epistemic Feasibility of Plans in Multiagent Systems Specifications",
    journal = "IGPL",
    volume = "11",
    number = "2",
    pages = "161--178",
    abstract = "This paper addresses the problem of ensuring that agents' plans are epistemically feasible in multiagent systems specications. We propose some solutions within the Cognitive Agents Specication Language (CASL). We define a subjective execution construct Subj that causes the plan to be executed in terms of the agent's knowledge state, rather than in terms of the world state. The denition assumes that the agent does not do planning or lookahead, and chooses arbitrarily among the actions allowed by the plan. We also define another deliberative execution operator Delib for smarter agents that do planning. We show how these notions can be used to express whether a process is epistemically feasible for its agent(s) in several types of situations. More generally, the paper shows how a formalization of epistemic feasibility can be integrated with a transition-system semantics for an agent programming/specication language.",
    keywords = "agent programming languages, modal logic, honours reading",
    year = "2003",
    
    }
    




14. Drew McDermott. Ray Reiter's Knowledge in Action: A review. AI Magazine, 24(2):101--103, 2003.
    Keywords: situation calculus, honours reading, artificial intelligence.
    

    @Article{McDermott2003,
    author = "Drew McDermott",
    title = "Ray Reiter's Knowledge in Action: {A} review",
    journal = "AI Magazine",
    volume = "24",
    number = "2",
    pages = "101--103",
    keywords = "situation calculus, honours reading, artificial intelligence",
    year = "2003",
    
    }
    




15. S. Roundy, P. K. Wright, and J. Rabaey. A Study of Low Level Vibrations as a Power Source for Wireless Sensor Nodes. Computer Communications, 26(11):1131--1144, 2003.
    Keywords: sensor networks, honours reading.
    

    @Article{Roundy2003,
    author = "S. Roundy and P. K. Wright and J. Rabaey",
    title = "A Study of Low Level Vibrations as a Power Source for Wireless Sensor Nodes",
    journal = "Computer Communications",
    volume = "26",
    number = "11",
    pages = "1131--1144",
    keywords = "sensor networks, honours reading",
    year = "2003",
    
    }
    




16. Richard B. Scherl and Hector J. Levesque. Knowleddge, action, and the frame problem. Artificial Intelligence, 144:1--39, 2003.
    Keywords: situation calculus, honours reading.
    

    @Article{Scherl2003,
    author = "Richard B. Scherl and Hector J. Levesque",
    title = "Knowleddge, action, and the frame problem",
    journal = "Artificial Intelligence",
    volume = "144",
    pages = "1--39",
    keywords = "situation calculus, honours reading",
    year = "2003",
    
    }
    




17. JOHN A. STANKOVIC, TAREK F. ABDELZAHER, CHENYANG LU, LUI SHA, and JENNIFER C. HOU. Real-Time Communication and Coordination in Embedded Sensor Networks. Proceedings of the IEEE, 91(7):1002--1022, 2003.
    Keywords: sensor networks, honours reading.
    
    

    Abstract:

    "Sensor networks can be considered distributed computing platforms with many severe constraints, including limited CPU speed, memory size, power, and bandwidth. Individual nodes in sensor networks are typically unreliable and the network topology dynamically changes, possibly frequently. Sensor networks also differ because of their tight interaction with the physical environment via sensors and actuators. Because of this interaction, we find that sensor networks are very data-centric. Due to all of these differences, many solutions developed for general distributed computing platforms and for ad-hoc networks cannot be applied to sensor networks. After discussing several motivating applications, this paper first discusses the state of the art with respect to general research challenges, then focuses on more specific research challenges that appear in the networking, operating system, and middleware layers. For some of the research challenges, initial solutions or approaches are identified."

    
    

    @Article{STANKOVIC2003,
    author = "JOHN A. STANKOVIC and TAREK F. ABDELZAHER and CHENYANG LU and LUI SHA and JENNIFER C. HOU",
    title = "Real-Time Communication and Coordination in Embedded Sensor Networks",
    journal = "Proceedings of the IEEE",
    volume = "91",
    number = "7",
    pages = "1002--1022",
    abstract = "Sensor networks can be considered distributed computing platforms with many severe constraints, including limited CPU speed, memory size, power, and bandwidth. Individual nodes in sensor networks are typically unreliable and the network topology dynamically changes, possibly frequently. Sensor networks also differ because of their tight interaction with the physical environment via sensors and actuators. Because of this interaction, we find that sensor networks are very data-centric. Due to all of these differences, many solutions developed for general distributed computing platforms and for ad-hoc networks cannot be applied to sensor networks. After discussing several motivating applications, this paper first discusses the state of the art with respect to general research challenges, then focuses on more specific research challenges that appear in the networking, operating system, and middleware layers. For some of the research challenges, initial solutions or approaches are identified.",
    keywords = "sensor networks, honours reading",
    year = "2003",
    
    }
    




18. P. van Roy, P. Brand, D. Duchier, S. Haridi, M. Henz, and C. Schulte. Logic programming in the context of multiparadigm programming: the Oz experience.. Theory and Practice of Logic Programming, 3(6):717--763, 2003.
    Keywords: agent programming languages, logistics, honours reading.
    
    

    Abstract:

    "Mozart/Oz"

    
    

    @Article{van_Roy2003,
    author = "P. van Roy and P. Brand and D. Duchier and S. Haridi and M. Henz and C. Schulte",
    title = "Logic programming in the context of multiparadigm programming: the Oz experience.",
    journal = "Theory and Practice of Logic Programming",
    volume = "3",
    number = "6",
    pages = "717--763",
    abstract = "Mozart/Oz",
    keywords = "agent programming languages, logistics, honours reading",
    year = "2003",
    
    }
    

1. M. Annamalai and L. Sterling. Guidelines for constructing reusable domain ontologies. In AAMAS03 Workshop on ontologies in agent systems, Melbourne, Australia, pages 71--74, 2003.
   Keywords: agentlab, ontologies, agent-oriented software engineering.
   

   @InProceedings{Annamalai2003b,
   author = "M. Annamalai and L. Sterling",
   title = "Guidelines for constructing reusable domain ontologies",
   booktitle = "AAMAS03 Workshop on ontologies in agent systems",
   address = "Melbourne, Australia",
   pages = "71--74",
   keywords = "agentlab, ontologies, agent-oriented software engineering",
   year = "2003",
   
   }
   




2. M. Annamalai and L. Sterling. Dealing with mathematical relations in web-ontologies. In AAMAS03 workshop on ontologies in agent systems, Melbourne, Australia, pages 1--7, 2003.
   Keywords: agentlab, ontologies, agent-oriented software engineering.
   

   @InProceedings{Annamalai2003,
   author = "M. Annamalai and L. Sterling",
   title = "Dealing with mathematical relations in web-ontologies",
   booktitle = "AAMAS03 workshop on ontologies in agent systems",
   address = "Melbourne, Australia",
   pages = "1--7",
   keywords = "agentlab, ontologies, agent-oriented software engineering",
   year = "2003",
   
   }
   




3. Ronald Ashri, Iyad Rahwan, and Michael Luck. Architectures for Negotiating Agents.. In J. Muller V. Marik and Pechoucek, editors, Multi-Agent Systems and Applications III: Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2003) - Lecture Notes in Artificial Intelligence vol 2691, Prague, Czech Republic, pages 136--146, 2003. Springer-Verlag, Berlin, Germany,.
   Keywords: agentlab, models of interaction and context aware applications.
   

   @InProceedings{Ashri2003,
   author = "Ronald Ashri and Iyad Rahwan and Michael Luck",
   title = "Architectures for Negotiating Agents.",
   booktitle = "Multi-Agent Systems and Applications III: Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2003) - Lecture Notes in Artificial Intelligence vol 2691",
   editor = "J. Muller V. Marik and Pechoucek",
   address = "Prague, Czech Republic",
   publisher = "Springer-Verlag, Berlin, Germany,",
   pages = "136--146",
   keywords = "agentlab, models of interaction and context aware applications",
   year = "2003",
   
   }
   




4. Seema Bandyopadhyay and Edward J. Coyle. An Energy Efficient Hierarchical Clustering Algorithm for Wireless Sensor Networks. In INFOCOM 2003, 2003.
   Keywords: sensor networks, honours reading.
   

   @InProceedings{Bandyopadhyay2003,
   author = "Seema Bandyopadhyay and Edward J. Coyle",
   title = "An Energy Efficient Hierarchical Clustering Algorithm for Wireless Sensor Networks",
   booktitle = "INFOCOM 2003",
   keywords = "sensor networks, honours reading",
   year = "2003",
   
   }
   




5. P. Busetta, J. Bailey, and K. Ramamohanarao. A reliable computational model for BDI Agents. In 1st International Workshop on Safe Agents, held in conjunction with AAMAS2003, 2003.
   Keywords: agentlab, transaction-oriented multi-agent systems, databases.
   

   @InProceedings{Busetta2003,
   author = "P. Busetta and J. Bailey and K. Ramamohanarao",
   title = "A reliable computational model for {BDI} Agents",
   booktitle = "1st International Workshop on Safe Agents, held in conjunction with AAMAS2003",
   keywords = "agentlab, transaction-oriented multi-agent systems, databases",
   year = "2003",
   
   }
   




6. K. Chan, L. Sterling, S. Karunaseker, A. Pearce, and T. A. Juan. Role-based methodology for agent oriented software engineeing. In SITCRC conference, Sydney, Australia, pages 131--138, 2003.
   Keywords: agentlab, agent-oriented software engineering, ROADMAP.
   

   @InProceedings{Chan2003,
   author = "K. Chan and L. Sterling and S. Karunaseker and A. Pearce and T. A. Juan",
   title = "Role-based methodology for agent oriented software engineeing",
   booktitle = "SITCRC conference",
   address = "Sydney, Australia",
   pages = "131--138",
   keywords = "agentlab, agent-oriented software engineering, ROADMAP",
   year = "2003",
   
   }
   




7. Mehdi Dastani, Frank Dignum, and Joh-Jules Ch. Meyer. Autonomy and Agent Deliberation. In First International Workshop on Computational Autonomy - Potential, Risks, Solutions, held in conjunction with AAMAS 2003, pages 23--35, 2003.
   Keywords: epistemic logic, dynamic logic, agent programming languages, honours reading.
   

   @InProceedings{Dastani2003,
   author = "Mehdi Dastani and Frank Dignum and Joh-Jules Ch. Meyer",
   title = "Autonomy and Agent Deliberation",
   booktitle = "First International Workshop on Computational Autonomy - Potential, Risks, Solutions, held in conjunction with AAMAS 2003",
   pages = "23--35",
   keywords = "epistemic logic, dynamic logic, agent programming languages, honours reading",
   year = "2003",
   
   }
   




8. S. B. Goschnick and L. Sterling. Enacting and Interacting with an Agent-based Digital Self in a 24x7 Web Services World. In International workshop on Humans and Multi-Agent Systems, held in conjunction with AAMAS-2003, Melbourne, pages 28--35, 2003.
   Keywords: agentlab, context-aware applications.
   

   @InProceedings{Goschnick2003c,
   author = "S. B. Goschnick and L. Sterling",
   title = "Enacting and Interacting with an Agent-based Digital Self in a 24x7 Web Services World",
   booktitle = "International workshop on Humans and Multi-Agent Systems, held in conjunction with AAMAS-2003",
   address = "Melbourne",
   pages = "28--35",
   keywords = "agentlab, context-aware applications",
   year = "2003",
   
   }
   




9. Steve Goschnick and Leon Sterling. Agent-based Digital Self in a 24x7 Web Services World: Architecture and Implementation. In IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), Halifax, Canada, 2003.
   Keywords: agentlab, context-aware applications.
   

   @InProceedings{Goschnick2003b,
   author = "Steve Goschnick and Leon Sterling",
   title = "Agent-based Digital Self in a 24x7 Web Services World: Architecture and Implementation",
   booktitle = "IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003)",
   address = "Halifax, Canada",
   keywords = "agentlab, context-aware applications",
   year = "2003",
   
   }
   




10. Steve Goschnick. Enacting an Agent-based Digital Self in a 24x7 Web Services World. In ISMIS 2003, 2003.
    Keywords: agentlab, context-aware applications.
    

    @InProceedings{Goschnick2003,
    author = "Steve Goschnick",
    title = "Enacting an Agent-based Digital Self in a 24x7 Web Services World",
    booktitle = "ISMIS 2003",
    keywords = "agentlab, context-aware applications",
    year = "2003",
    
    }
    




11. Clint Heinze, Dino Appla, Simon Goss, Mauro Iob, Torgny Josefsson, Ian Lloyd, David McIlroy, and Graeme Murray. Scalability and Complexity in Air Operations Analysis. In Proceedings of 5th International Congress on Industrial and Applied Mathematics, ICIAM 2003, Sydney Australia, 2003.
    Keywords: agentlab, agent-oriented software engineering, multi-agent simulation.
    

    @InProceedings{Heinze2003b,
    author = "Clint Heinze and Dino Appla and Simon Goss and Mauro Iob and Torgny Josefsson and Ian Lloyd and David McIlroy and Graeme Murray",
    title = "Scalability and Complexity in Air Operations Analysis",
    booktitle = "Proceedings of 5th International Congress on Industrial and Applied Mathematics, ICIAM 2003",
    address = "Sydney Australia",
    keywords = "agentlab, agent-oriented software engineering, multi-agent simulation",
    year = "2003",
    
    }
    




12. Clint Heinze, Michael Papasimeon, and Simon Goss. Issues in Modelling Sensor Fusion in Agent Based Simulation of Air Operations. In Proceedings of the sixth international conference on information fusion (FUSION03), Cairns, Australia, 2003.
    Keywords: agentlab, agent-oriented software engineering, multi-agent simulation.
    

    @InProceedings{Heinze2003c,
    author = "Clint Heinze and Michael Papasimeon and Simon Goss",
    title = "Issues in Modelling Sensor Fusion in Agent Based Simulation of Air Operations",
    booktitle = "Proceedings of the sixth international conference on information fusion (FUSION03)",
    address = "Cairns, Australia",
    keywords = "agentlab, agent-oriented software engineering, multi-agent simulation",
    year = "2003",
    
    }
    




13. Nick Howden, Jamie Curmi, Clinton Heinze, Simon Goss, and Grant Murphy. Operational Knowledge Representation: Behaviour Capture, Modelling and Verification. In Proceedings of the Eighth International Conference on Simulation Technology and Training (SimTecT '03), Adelaide Australia, 2003.
    Keywords: agentlab, agent-oriented software engineering.
    

    @InProceedings{Howden2003,
    author = "Nick Howden and Jamie Curmi and Clinton Heinze and Simon Goss and Grant Murphy",
    title = "Operational Knowledge Representation: Behaviour Capture, Modelling and Verification",
    booktitle = "Proceedings of the Eighth International Conference on Simulation Technology and Training (SimTecT '03)",
    address = "Adelaide Australia",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2003",
    
    }
    




14. Tao Jin and Steve Goschnick. Utilizing Web Services in an Agent-based Transaction Model (ABT). In International workshop on Web Services and Agent-based Engineering (WSABE-2003), held in conjunction with AAMAS-2003, Melbourne, Australia, pages 1--9, 2003.
    Keywords: agentlab, context-aware applications.
    

    @InProceedings{Jin2003,
    author = "Tao Jin and Steve Goschnick",
    title = "Utilizing Web Services in an Agent-based Transaction Model ({ABT})",
    booktitle = "International workshop on Web Services and Agent-based Engineering (WSABE-2003), held in conjunction with AAMAS-2003",
    address = "Melbourne, Australia",
    pages = "1--9",
    keywords = "agentlab, context-aware applications",
    year = "2003",
    
    }
    




15. Thomas Juan, Leon Sterling, Maurizio Martelli, and Viviana Mascardi. Customizing AOSE Methodologies by Reusing AOSE Features. In Jeffrey S. Rosenschein, Tuomas Sandholm, Michael Wooldridge, and Makoto Yokoo, editors, International Conference on Autonomas Agents and Multi-Agent Systems (AAMAS 2003), Melbourne, Australia, pages 1024--1025, 2003.
    Keywords: agentlab, agent-oriented software engineering, ROADMAP.
    

    @InProceedings{Juan2003b,
    author = "Thomas Juan and Leon Sterling and Maurizio Martelli and Viviana Mascardi",
    title = "Customizing {AOSE} Methodologies by Reusing {AOSE} Features",
    booktitle = "International Conference on Autonomas Agents and Multi-Agent Systems (AAMAS 2003)",
    editor = "Jeffrey S. Rosenschein and Tuomas Sandholm and Michael Wooldridge and Makoto Yokoo",
    address = "Melbourne, Australia",
    pages = "1024--1025",
    keywords = "agentlab, agent-oriented software engineering, ROADMAP",
    year = "2003",
    
    }
    




16. Thomas Juan and Leon Sterling. A Meta-model for Open, Intelligent and Adaptive Multi-Agent Systems. In Jeffrey S. Rosenschein, Tuomas Sandholm, Michael Wooldridge, and Makoto Yokoo, editors, International Conference on Autonomas Agents and Multi-Agent Systems (AAMAS 2003), Melbourne, Australia, pages 113--120, 2003.
    Keywords: agentlab, agent-oriented software engineering, ROADMAP.
    

    @InProceedings{Juan2003,
    author = "Thomas Juan and Leon Sterling",
    title = "A Meta-model for Open, Intelligent and Adaptive Multi-Agent Systems",
    booktitle = "International Conference on Autonomas Agents and Multi-Agent Systems (AAMAS 2003)",
    editor = "Jeffrey S. Rosenschein and Tuomas Sandholm and Michael Wooldridge and Makoto Yokoo",
    address = "Melbourne, Australia",
    pages = "113--120",
    keywords = "agentlab, agent-oriented software engineering, ROADMAP",
    year = "2003",
    
    }
    




17. Manish Kochhal, Loren Schwiebert, and Sandeep Gupta. Role-based hierarchical self organization for wireless ad hoc sensor networks. In WSNA'03, pages 98--108, 2003. ACM.
    Keywords: sensor networks, machine learning, honours reading.
    

    @InProceedings{Kochhal2003,
    author = "Manish Kochhal and Loren Schwiebert and Sandeep Gupta",
    title = "Role-based hierarchical self organization for wireless ad hoc sensor networks",
    booktitle = "WSNA'03",
    publisher = "ACM",
    pages = "98--108",
    keywords = "sensor networks, machine learning, honours reading",
    year = "2003",
    
    }
    




18. Ronald Kroon and Leon J. M. Rothkrantz. Dynamic vehicle routing using an ABC-algorithm. In T. Heskes, P. Lucas, L. Vuurpijl, and W. Wiegerinck, editors, Proceedings of the 15th Belgium-Netherlands conference on Artificial Intelligence (BNAIC 2003), Nijmegen, The Netherlands, pages 211--218, 2003.
    Keywords: sensor networks, simulation, honours reading.
    

    @InProceedings{Kroon2003,
    author = "Ronald Kroon and Leon J. M. Rothkrantz",
    title = "Dynamic vehicle routing using an {ABC}-algorithm",
    booktitle = "Proceedings of the 15th Belgium-Netherlands conference on Artificial Intelligence (BNAIC 2003)",
    editor = "T. Heskes and P. Lucas and L. Vuurpijl and W. Wiegerinck",
    address = "Nijmegen, The Netherlands",
    pages = "211--218",
    keywords = "sensor networks, simulation, honours reading",
    year = "2003",
    
    }
    




19. T. Ly, S. Greenhill, S. Venkatesh, and A. Pearce. Multiple hypothesis situation assessment. In The 6th International Conference on Information Fusion (FUSION 2003), Brisbane, Australia, pages 972--978, 2003.
    Keywords: agentlab, agent programming languages.
    

    @InProceedings{Ly2003,
    author = "T. Ly and S. Greenhill and S. Venkatesh and A. Pearce",
    title = "Multiple hypothesis situation assessment",
    booktitle = "The 6th International Conference on Information Fusion (FUSION 2003)",
    address = "Brisbane, Australia",
    pages = "972--978",
    keywords = "agentlab, agent programming languages",
    year = "2003",
    
    }
    




20. Yves Martin. The concurrent, continuous FLUX. In International Joint Conference on Artificial Intelligence (IJCAI), pages 1085--1090, 2003. Morgan Kaufmann.
    Keywords: situation calculus, honours reading, agent programming languages.
    

    @InProceedings{Martin2003,
    author = "Yves Martin",
    title = "The concurrent, continuous {FLUX}",
    booktitle = "International Joint Conference on Artificial Intelligence (IJCAI)",
    publisher = "Morgan Kaufmann",
    pages = "1085--1090",
    keywords = "situation calculus, honours reading, agent programming languages",
    year = "2003",
    
    }
    




21. T. Menzies, A. Pearce, C. Heinze, and S. Goss. What is an agent and why should I care?. In Second Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS II) appears in Lecture Notes in Computer Science, Vol. 2699, Greenbelt, MD, USA, pages 1--14, 2003. Springer Verlag.
    Keywords: agentlab, agent-oriented software engineering.
    

    @InProceedings{Menzies2003,
    author = "T. Menzies and A. Pearce and C. Heinze and S. Goss",
    title = "What is an agent and why should {I} care?",
    booktitle = "Second Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS II) appears in Lecture Notes in Computer Science, Vol. 2699",
    address = "Greenbelt, MD, USA",
    publisher = "Springer Verlag",
    pages = "1--14",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2003",
    
    }
    




22. Pragnesh Jay Modi, Shen Wei-Min, and Milind Tambe. An Asynchronous Complete method for distributed constraint optimization. In Jeffrey S. Rosenschein, Tuomas Sandholm, Michael Wooldridge, and Makoto Yokoo, editors, AAMAS-2003, Melbourne, pages 161--176, 2003.
    Keywords: constraint satisfaction, computational complexity, algorithms, DCOP, DCSP.
    
    

    Abstract:

    "We present a new polynomial-space algorithm, called Adopt, for distributed constraint optimization (DCOP). DCOP is able to model a large class of collaboration problems in multi-agent systems where a solution within given quality parameters must be found. Existing methods for DCOP are not able to provide theoretical guarantees on global solution quality while operating both efficiently and asynchronously. Adopt is guaranteed to find an optimal solution, or a solution within a user-specified distance from the optimal, while allowing agents to execute asynchronously and in parallel. Adopt obtains these properties via a distributed search algorithm with several novel characteristics including the ability for each agent to make local decisions based on currently available information and without necessarily having global certainty. Theoretical analysis shows that Adopt provides provable quality guarantees, while experimental results show that Adopt is signifi- cantly more efficient than synchronous methods. The speedups are shown to be partly due to the novel search strategy employed and partly due to the asynchrony of the algorithm."

    
    

    @InProceedings{Modi2003,
    author = "Pragnesh Jay Modi and Shen Wei-Min and Milind Tambe",
    title = "An Asynchronous Complete method for distributed constraint optimization",
    booktitle = "AAMAS-2003",
    editor = "Jeffrey S. Rosenschein and Tuomas Sandholm and Michael Wooldridge and Makoto Yokoo",
    address = "Melbourne",
    pages = "161--176",
    abstract = "We present a new polynomial-space algorithm, called Adopt, for distributed constraint optimization (DCOP). DCOP is able to model a large class of collaboration problems in multi-agent systems where a solution within given quality parameters must be found. Existing methods for DCOP are not able to provide theoretical guarantees on global solution quality while operating both efficiently and asynchronously. Adopt is guaranteed to find an optimal solution, or a solution within a user-specified distance from the optimal, while allowing agents to execute asynchronously and in parallel. Adopt obtains these properties via a distributed search algorithm with several novel characteristics including the ability for each agent to make local decisions based on currently available information and without necessarily having global certainty. Theoretical analysis shows that Adopt provides provable quality guarantees, while experimental results show that Adopt is signifi- cantly more efficient than synchronous methods. The speedups are shown to be partly due to the novel search strategy employed and partly due to the asynchrony of the algorithm.",
    keywords = "constraint satisfaction, computational complexity, algorithms, DCOP, DCSP",
    year = "2003",
    
    }
    




23. Don Perugini, Dale Lambert, Leon Sterling, and Adrian Pearce. A Distributed Agent Approach to Global Transportation Scheduling. In The 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), Halifax, Canada, pages 18--24, 2003.
    Keywords: agentlab, agent programming languages.
    

    @InProceedings{Perugini2003,
    author = "Don Perugini and Dale Lambert and Leon Sterling and Adrian Pearce",
    title = "A Distributed Agent Approach to Global Transportation Scheduling",
    booktitle = "The 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003)",
    address = "Halifax, Canada",
    pages = "18--24",
    keywords = "agentlab, agent programming languages",
    year = "2003",
    
    }
    




24. D. Perugini, D. Lambert, L. Sterling, and A. Pearce. Distributed information fusion agents. In International Conference on Information Fusion (FUSION 2003), pages 86--93, 2003.
    Keywords: agentlab, agent programming languages, logistics.
    

    @InProceedings{Perugini2003b,
    author = "D. Perugini and D. Lambert and L. Sterling and A. Pearce",
    title = "Distributed information fusion agents",
    booktitle = "International Conference on Information Fusion (FUSION 2003)",
    pages = "86--93",
    keywords = "agentlab, agent programming languages, logistics",
    year = "2003",
    
    }
    




25. Don Perugini, Steven Wark, Andrew Zschorn, Dale Lambert, Leon Sterling, and Adrian Pearce. Agents in logistics planning - experiences with the coalition agents experiment project. In Agents at work: Deployed applications of autonomous agents and multi-agent systems, a workshop at the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, Australia, 2003.
    Keywords: agent programming languages, agentlab, agent-oriented software engineering.
    

    @InProceedings{Perugini2003c,
    author = "Don Perugini and Steven Wark and Andrew Zschorn and Dale Lambert and Leon Sterling and Adrian Pearce",
    title = "Agents in logistics planning - experiences with the coalition agents experiment project",
    booktitle = "Agents at work: Deployed applications of autonomous agents and multi-agent systems, a workshop at the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003)",
    address = "Melbourne, Australia",
    keywords = "agent programming languages, agentlab, agent-oriented software engineering",
    year = "2003",
    
    }
    




26. Iyad Rahwan, Liz Sonenberg, and Frank Dignum. Towards Interest-Based Negotiation. In Jeffrey S. Rosenschein, Tuomas Sandholm, Michael Wooldridge, and Makoto Yokoo, editors, International Conference on Autonomas Agents and Multi-Agent Systems (AAMAS 2003), Melbourne, Australia, pages 773--780, 2003.
    Keywords: agentlab, models of interaction and context aware applications, negotiation.
    

    @InProceedings{Rahwan2003,
    author = "Iyad Rahwan and Liz Sonenberg and Frank Dignum",
    title = "Towards Interest-Based Negotiation",
    booktitle = "International Conference on Autonomas Agents and Multi-Agent Systems (AAMAS 2003)",
    editor = "Jeffrey S. Rosenschein and Tuomas Sandholm and Michael Wooldridge and Makoto Yokoo",
    address = "Melbourne, Australia",
    pages = "773--780",
    keywords = "agentlab, models of interaction and context aware applications, negotiation",
    year = "2003",
    
    }
    




27. Raymond So and Liz Sonenberg. Agents with Initiative: A Preliminary Report.. In AThe First International Workshop on Computational Autonomy - Potential, Risks, Solutions (AUTONOMY 2003), AAMAS workshop 2003, pages 237--248, 2003.
    Keywords: agentlab, context-aware applications.
    

    @InProceedings{So2003,
    author = "Raymond So and Liz Sonenberg",
    title = "Agents with Initiative: {A} Preliminary Report.",
    booktitle = "AThe First International Workshop on Computational Autonomy - Potential, Risks, Solutions (AUTONOMY 2003), AAMAS workshop 2003",
    pages = "237--248",
    keywords = "agentlab, context-aware applications",
    year = "2003",
    
    }
    




28. Liz Sonenberg. Agent Deliberation in a Sensor Rich World.. In HIS 2003, pages 7, 2003.
    Keywords: agentlab, context-aware applications.
    

    @InProceedings{Sonenberg2003,
    author = "Liz Sonenberg",
    title = "Agent Deliberation in a Sensor Rich World.",
    booktitle = "HIS 2003",
    pages = "7",
    keywords = "agentlab, context-aware applications",
    year = "2003",
    
    }
    




29. Susannah Soon, Adrian Pearce, and Max Noble. Modelling the Collaborative Mission Planning Process using Dynamic Teamwork Structures. In Jeffrey S. Rosenschein, Tuomas Sandholm, Michael Wooldridge, and Makoto Yokoo, editors, Proceedings of the second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS03), Melbourne, Australia, pages 1124--1125, 2003.
    Keywords: agentlab, agent programming languages, teamwork, coordination.
    

    @InProceedings{Soon2003,
    author = "Susannah Soon and Adrian Pearce and Max Noble",
    title = "Modelling the Collaborative Mission Planning Process using Dynamic Teamwork Structures",
    booktitle = "Proceedings of the second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS03)",
    editor = "Jeffrey S. Rosenschein and Tuomas Sandholm and Michael Wooldridge and Makoto Yokoo",
    address = "Melbourne, Australia",
    pages = "1124--1125",
    keywords = "agentlab, agent programming languages, teamwork, coordination",
    year = "2003",
    
    }
    




30. Lars Wischhof, Andre Ebner, Hermann Rohling, Matthias Lott, and Rudiger Halfmann. SOTIS - A Self-Organizing Traffic Information System. In Proceedings of the 57th IEEE Vehicular Technology Conference (VTC 03 Spring), Jeju, South Korea, 2003.
    Keywords: sensor networks, simulation, honours reading.
    

    @InProceedings{Wischhof2003b,
    author = "Lars Wischhof and Andre Ebner and Hermann Rohling and Matthias Lott and Rudiger Halfmann",
    title = "{SOTIS} - {A} Self-Organizing Traffic Information System",
    booktitle = "Proceedings of the 57th IEEE Vehicular Technology Conference (VTC 03 Spring)",
    address = "Jeju, South Korea",
    keywords = "sensor networks, simulation, honours reading",
    year = "2003",
    
    }
    




31. Lars Wischhof, Andre Ebner, Hermann Rohling, Matthias Lott, and Rüdiger Halfmann. Adaptive Broadcast for Travel and Traffic Information Distribution Based on Inter-Vehicle Communication. In Proceedings of the IEEE Intelligent Vehicles Symposium (IV 2003), Columbus, Ohio, USA, 2003.
    Keywords: sensor networks, simulation, honours reading.
    

    @InProceedings{Wischhof2003,
    author = "Lars Wischhof and Andre Ebner and Hermann Rohling and Matthias Lott and Rüdiger Halfmann",
    title = "Adaptive Broadcast for Travel and Traffic Information Distribution Based on Inter-Vehicle Communication",
    booktitle = "Proceedings of the IEEE Intelligent Vehicles Symposium (IV 2003)",
    address = "Columbus, Ohio, USA",
    keywords = "sensor networks, simulation, honours reading",
    year = "2003",
    
    }
    

1. Clinton Heinze. Modelling Intention Recognition for Intelligent Agent Systems. PhD, 2003.
   Keywords: agentlab, agent-oriented software engineering, multi-agent simulation.
   

   @PhdThesis{Heinze2003,
   author = "Clinton Heinze",
   title = "Modelling Intention Recognition for Intelligent Agent Systems",
   type = "PhD",
   keywords = "agentlab, agent-oriented software engineering, multi-agent simulation",
   year = "2003",
   
   }
   




2. Maia Hristova. Explode: extreme programming for lightweight ontology development. PhD, The University of Melbourne, 2003.
   Keywords: agentlab, agent-oriented software engineering.
   

   @PhdThesis{Hristova2003,
   author = "Maia Hristova",
   title = "Explode: extreme programming for lightweight ontology development",
   school = "The University of Melbourne",
   type = "PhD",
   keywords = "agentlab, agent-oriented software engineering",
   year = "2003",
   
   }
   




3. E. C. ten Hoeve. 3APL Platform. Masters, Utrecht University, 2003.
   Keywords: agent programming languages, honours reading.
   

   @PhdThesis{Hoeve2003,
   author = "E. C. ten Hoeve",
   title = "3{APL} Platform",
   school = "Utrecht University",
   type = "Masters",
   keywords = "agent programming languages, honours reading",
   year = "2003",
   
   }
   




4. Jian Ying Zhang. Fuzzy Causal Networks and Their Applications. PhD, The University of Melbourne, 2003.
   Keywords: agentlab, agent programming languages.
   

   @PhdThesis{Zhang2003,
   author = "Jian Ying Zhang",
   advisor = "Liu, Zhi-Qiang and Pearce, Adrian R.",
   editor = "Zhi-Qiang Liu and Adrian R. Pearce",
   title = "Fuzzy Causal Networks and Their Applications",
   school = "The University of Melbourne",
   type = "PhD",
   keywords = "agentlab, agent programming languages",
   year = "2003",
   
   }
   

1. John Bell. A Pragmatic Theory of Induction. Technical report July 28, Department of Computer Science, Queen Mary, University of London, July 2003.
   Note: Earlier versions were presented at the ECAI 2000 workshop Scientific Reasoning in Philosophy and AI , the Context 2001 workshop Contexts in Logics, and ECAI 2002.
   Keywords: inductive logic programming, causality, honours reading.
   
   

   Abstract:

   "Concerns grue paradox"

   
   

   @TechReport{Bell2003,
   author = "John Bell",
   title = "A Pragmatic Theory of Induction",
   institution = "Department of Computer Science, Queen Mary, University of London",
   note = "Earlier versions were presented at the ECAI 2000 workshop Scientific Reasoning in Philosophy and AI , the Context 2001 workshop Contexts in Logics, and ECAI 2002.",
   number = "July 28",
   month = jul,
   abstract = "Concerns grue paradox",
   keywords = "inductive logic programming, causality, honours reading",
   year = "2003",
   
   }
   




2. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. MANY-DIMENSIONAL MODAL LOGICS: THEORY AND APPLICATIONS. Unpublished book January 2003, Department of Computer Science, King's College, 2003.
   Note: Unpublished book.
   Keywords: model theory, modal logic, epistemic logic, honours reading. [download paper ]
   

   @TechReport{Gabbay2003,
   author = "D. Gabbay and A. Kurucz and F. Wolter and M. Zakharyaschev",
   title = "{MANY}-{DIMENSIONAL} {MODAL} {LOGICS}: {THEORY} {AND} {APPLICATIONS}",
   institution = "Department of Computer Science, King's College",
   note = "Unpublished book",
   number = "January 2003",
   type = "Unpublished book",
   URL = "http://www.dcs.kcl.ac.uk/staff/mz/GKWZ/gkwz.html",
   keywords = "model theory, modal logic, epistemic logic, honours reading",
   year = "2003",
   
   }
   




3. Michael Papasimeon and Clinton Heinze. Specifying Requirements in a Multi-Agent System with Use Cases. Technical report February, Defence Science and Technology Organisation, 2003.
   Keywords: agent-oriented software engineering, agentlab, multi-agent simulation.
   
   

   Abstract:

   "The construction of multi-agent systems demands specification of the required agent behaviours to provide documented requirements for the design and implementation phases. From a lengthy experience in the engineering of multi-agent simulations for military operations research, a methodology for the analysis and specification of agent behaviours is proposed. The methodology builds upon the existing use case modelling techniques provided by the Unified Modeling Language (UML) and is in keeping with the agent extensions to the UML proposed elsewhere. Accompanying the elaboration of the methodology is a case-study from a specific multi-agent air combat simulation."

   
   

   @TechReport{Papasimeon2003,
   author = "Michael Papasimeon and Clinton Heinze",
   title = "Specifying Requirements in a Multi-Agent System with Use Cases",
   institution = "Defence Science and Technology Organisation",
   number = "February",
   abstract = "The construction of multi-agent systems demands specification of the required agent behaviours to provide documented requirements for the design and implementation phases. From a lengthy experience in the engineering of multi-agent simulations for military operations research, a methodology for the analysis and specification of agent behaviours is proposed. The methodology builds upon the existing use case modelling techniques provided by the Unified Modeling Language (UML) and is in keeping with the agent extensions to the UML proposed elsewhere. Accompanying the elaboration of the methodology is a case-study from a specific multi-agent air combat simulation.",
   keywords = "agent-oriented software engineering, agentlab, multi-agent simulation",
   year = "2003",
   
   }
   




4. Leon Sterling, Adrian Pearce, Simon Goss, Michael Papasimeon, and Clinton Heinze. Investigations into modelling purposive socio-technical systems using agents. Contract report for Defence Science and Technology Organisation Februrary, 2003, Department of Computer Science and Software Engineering, The University of Melbourne, 2003.
   Keywords: agentlab, agent programming languages, agent-oriented software engineering, logistics, multi-agent simulation.
   

   @TechReport{Sterling2003,
   author = "Leon Sterling and Adrian Pearce and Simon Goss and Michael Papasimeon and Clinton Heinze",
   title = "Investigations into modelling purposive socio-technical systems using agents",
   institution = "Department of Computer Science and Software Engineering, The University of Melbourne",
   number = "Februrary, 2003",
   type = "Contract report for Defence Science and Technology Organisation",
   keywords = "agentlab, agent programming languages, agent-oriented software engineering, logistics, multi-agent simulation",
   year = "2003",
   
   }
   

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.