Back to publication index

Publications of year 2005
Books
  1. R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors. Multi-Agent Programming Languages, Platforms and Applications, volume 15 of Multiagent Systems, Artificial Societies, and Simulated Organizations. 2005.
    Keywords: agent programming languages, honours reading, logistics.

    Abstract: "Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specify Multi-Agent Systems, this book focuses on the development of programming languages and tools which not only support MAS programming, but also implement key concepts of MAS in a unified framework. Part I describes approaches that rely on computational logic or process algebra – Jason, 3APL, IMPACT, and CLAIM/SyMPA. Part II presents languages and platforms that extend or are based on Java – JADE, Jadex and JACKTM. Part III provides two significant industry specific applications – The DEFACTO System for coordinating human-agent teams for disaster response, and the ARTIMIS rational dialogue agent technology. Also featured are seven appendices for quick reference and comparison. Preface.- Foreword.- Acknowledgments.- Part I: Logic or Process Algebra-based Programming Languages.- Jason and the Golden Fleece of Agent-Oriented Programming.- Programming Multi-Agent Systems in 3APL 39.- IMPACT: A Multi-Agent Framework with Declarative Semantics.- CLAIM and SyMPA: A Programming Environment for Intelligent and Mobile Agents.- Part II: Java-Based Agent Programming Languages.- JADE: A Java Agent Development Framework.- Jadex: A BDI Reasoning Engine.- JACKTM Intelligent Agents: An Industrial Strength Platform.- Part III: Industrial-Strength Applications.- The DEFACTO System: Coordinating Human-Agent Teams for the Future of Disaster Response.- ARTIMIS Rational Dialogue Agent Technology.- Summaries for Quick Reference and Comparison.- Appendix A: Comparison Criteria.- Appendix B: Jason Summary.- Appendix C: 3APL Summary.- Appendix D: IMPACT Summary.- Appendix E: CLAIM Summary.- Appendix F: JADE Summary.- Appendix G: Jadex Summary.- Appendix H: JACK Summary.- References.- Index."

    @Book{Bordini2005,
    editor = "R. H. Bordini and M. Dastani and J. Dix and A. El Fallah Seghrouchni",
    title = "Multi-Agent Programming Languages, Platforms and Applications",
    volume = "15",
    series = "Multiagent Systems, Artificial Societies, and Simulated Organizations",
    abstract = "Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specify Multi-Agent Systems, this book focuses on the development of programming languages and tools which not only support MAS programming, but also implement key concepts of MAS in a unified framework. Part I describes approaches that rely on computational logic or process algebra – Jason, 3APL, IMPACT, and CLAIM/SyMPA. Part II presents languages and platforms that extend or are based on Java – JADE, Jadex and JACKTM. Part III provides two significant industry specific applications – The DEFACTO System for coordinating human-agent teams for disaster response, and the ARTIMIS rational dialogue agent technology. Also featured are seven appendices for quick reference and comparison. Preface.- Foreword.- Acknowledgments.- Part I: Logic or Process Algebra-based Programming Languages.- Jason and the Golden Fleece of Agent-Oriented Programming.- Programming Multi-Agent Systems in 3APL 39.- IMPACT: A Multi-Agent Framework with Declarative Semantics.- CLAIM and SyMPA: A Programming Environment for Intelligent and Mobile Agents.- Part II: Java-Based Agent Programming Languages.- JADE: A Java Agent Development Framework.- Jadex: A BDI Reasoning Engine.- JACKTM Intelligent Agents: An Industrial Strength Platform.- Part III: Industrial-Strength Applications.- The DEFACTO System: Coordinating Human-Agent Teams for the Future of Disaster Response.- ARTIMIS Rational Dialogue Agent Technology.- Summaries for Quick Reference and Comparison.- Appendix A: Comparison Criteria.- Appendix B: Jason Summary.- Appendix C: 3APL Summary.- Appendix D: IMPACT Summary.- Appendix E: CLAIM Summary.- Appendix F: JADE Summary.- Appendix G: Jadex Summary.- Appendix H: JACK Summary.- References.- Index.",
    keywords = "agent programming languages, honours reading, logistics",
    year = "2005",
    
    }
    


  2. Paul Scerri, Regis Vincent, and Roger T. Mailler, editors. Coordination of Large-Scale Multiagent Systems. 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages.

    Abstract: "Part I Effects of Scaling Coordination: The Effects of Locality and Asymmetry in Large-Scale Multiagent MDPs.- A Study of Scalability Properties in Robotic Teams.- Comparing Three Approaches to Large-Scale Coordination.- Part II Scaling Existing Coordination Approaches: Decentralized Partner Finding in Multi-Agent Systems.- Distributed Coordination of an Agent Society Based on Obligations and Commitments to Negotiated Agreements.- A Family of Graphical-Game-Based Algorithms for Distributed Constraint Optimization Problems.- Key-Based Coordination Strategies: Scalability Issues.- Designing Agent Utilities for Coordinated, Scalable and Robust Multi-Agent Systems.- Part III New Approaches for Large Scale Coordination: Learning Scalable Coaltion Formation in an Organizational Content.- Multi-Agent Coordination in Open Environments.- Mobile Agents.- WIZER: Automated Model Improvement in Multi-Agent Social-Network Systems.- Part IV Robustness and Flexibility in Large-Scale Multi-Agent Systems: Towards Flexible Coordination of Large Scale Multi-Agent Teams.- Techniques for Robust Planning in Degradable Multiagent Systems."

    @Book{Scerri2005b,
    editor = "Paul Scerri and Regis Vincent and Roger T. Mailler",
    title = "Coordination of Large-Scale Multiagent Systems",
    abstract = "Part I Effects of Scaling Coordination: The Effects of Locality and Asymmetry in Large-Scale Multiagent MDPs.- A Study of Scalability Properties in Robotic Teams.- Comparing Three Approaches to Large-Scale Coordination.- Part II Scaling Existing Coordination Approaches: Decentralized Partner Finding in Multi-Agent Systems.- Distributed Coordination of an Agent Society Based on Obligations and Commitments to Negotiated Agreements.- A Family of Graphical-Game-Based Algorithms for Distributed Constraint Optimization Problems.- Key-Based Coordination Strategies: Scalability Issues.- Designing Agent Utilities for Coordinated, Scalable and Robust Multi-Agent Systems.- Part III New Approaches for Large Scale Coordination: Learning Scalable Coaltion Formation in an Organizational Content.- Multi-Agent Coordination in Open Environments.- Mobile Agents.- WIZER: Automated Model Improvement in Multi-Agent Social-Network Systems.- Part IV Robustness and Flexibility in Large-Scale Multi-Agent Systems: Towards Flexible Coordination of Large Scale Multi-Agent Teams.- Techniques for Robust Planning in Degradable Multiagent Systems.",
    keywords = "multiagent coordination, honours reading, agent programming languages",
    year = "2005",
    
    }
    


Journal Articles and Chapters
  1. Ramon Bejar, Carmel Domshlak, Cesar Fernandez, Carla Gomes, Bhaskar Krishnamachari, Bart Selman, and Magda Valls. Sensor networks and distributed CSP: communication, computation and complexity. Artificial Intelligence, 161:117--147, 2005.
    Keywords: computational complexity, sensor networks, honours reading.
    @Article{Bejar2005b,
    author = "Ramon Bejar and Carmel Domshlak and Cesar Fernandez and Carla Gomes and Bhaskar Krishnamachari and Bart Selman and Magda Valls",
    title = "Sensor networks and distributed {CSP}: communication, computation and complexity",
    journal = "Artificial Intelligence",
    volume = "161",
    pages = "117--147",
    keywords = "computational complexity, sensor networks, honours reading",
    year = "2005",
    
    }
    


  2. Ramon Bejar, Carmel Domshlak, Cèsar Fernandez, Carla Gomes, Bhaskar Krishnamachari, Bart Selman, and Magda Valls. Sensor networks and distributed CSP: communication, computation and complexity. Artificial Intelligence, 161(1-2):117--147, 2005.
    Keywords: algorithms, honours reading, constraint satisfaction, sensor networks.
    @Article{Bejar2005,
    author = "Ramon Bejar and Carmel Domshlak and Cèsar Fernandez and Carla Gomes and Bhaskar Krishnamachari and Bart Selman and Magda Valls",
    title = "Sensor networks and distributed {CSP}: communication, computation and complexity",
    journal = "Artificial Intelligence",
    volume = "161",
    number = "1-2",
    pages = "117--147",
    keywords = "algorithms, honours reading, constraint satisfaction, sensor networks",
    year = "2005",
    
    }
    


  3. A. Broder and M. Mitzenmacher. Network Applications of Bloom Filters: A Survey. Internet Mathematics, 2005.
    Keywords: sensor networks, honours reading.
    @Article{Broder2005,
    author = "A. Broder and M. Mitzenmacher",
    title = "Network Applications of Bloom Filters: {A} Survey",
    journal = "Internet Mathematics",
    keywords = "sensor networks, honours reading",
    year = "2005",
    
    }
    


  4. Bob Colwell. Presentation lessons from comedians. IEEE Computer, 38(9):10--13, 2005.
    Keywords: honours reading.
    @Article{Colwell2005,
    author = "Bob Colwell",
    title = "Presentation lessons from comedians",
    journal = "IEEE Computer",
    volume = "38",
    number = "9",
    pages = "10--13",
    keywords = "honours reading",
    year = "2005",
    
    }
    


  5. Ernest Davis. Knowledge and communication: A first-order theory. Artificial Intelligence, 166(1-2):1--256, 2005.
    Keywords: Epistemic logic, agent programming languages, honours reading, modal logic.
    @Article{Davis2005,
    author = "Ernest Davis",
    title = "Knowledge and communication: {A} first-order theory",
    journal = "Artificial Intelligence",
    volume = "166",
    number = "1-2",
    pages = "1--256",
    keywords = "Epistemic logic, agent programming languages, honours reading, modal logic",
    year = "2005",
    
    }
    


  6. Yolanda Gil. Description logics and planning. AI Magazine, 26(2):73--84, 2005.
    Keywords: graph theory, ontologies, honours reading.
    @Article{Gil2005,
    author = "Yolanda Gil",
    title = "Description logics and planning",
    journal = "AI Magazine",
    volume = "26",
    number = "2",
    pages = "73--84",
    keywords = "graph theory, ontologies, honours reading",
    year = "2005",
    
    }
    


  7. M. T. Haijiaghayi, M. Bahramgiri, and V. S. Mirrokni. Fault-tolerant and 3-Dimensional Distributed Topology Control Algorithms in Wireless Multi-hop Networks. ACM/Kluwer Wireless Networks, 2005.
    Note: 11th IEEE International Conference on Computer Communications and Networks, October, 2002, pp. 392-398.
    Keywords: sensor networks, honours reading, graph theory.
    @Article{Haijiaghayi2005,
    author = "M. T. Haijiaghayi and M. Bahramgiri and V. S. Mirrokni",
    title = "Fault-tolerant and 3-Dimensional Distributed Topology Control Algorithms in Wireless Multi-hop Networks",
    journal = "ACM/Kluwer Wireless Networks",
    note = "11th IEEE International Conference on Computer Communications and Networks, October, 2002, pp. 392-398.",
    keywords = "sensor networks, honours reading, graph theory",
    year = "2005",
    
    }
    


  8. Peter Hawkins, Vitaly Lagoon, and Peter J. Stuckey. Solving Set Constraint Satisfaction Problems using ROBDDs. Journal of Artificial Intelligence Research (JAIR), 24:109--156, 2005.
    Keywords: constraint satisfaction, honours reading.
    @Article{Hawkins2005,
    author = "Peter Hawkins and Vitaly Lagoon and Peter J. Stuckey",
    title = "Solving Set Constraint Satisfaction Problems using {ROBDD}s",
    journal = "Journal of Artificial Intelligence Research (JAIR)",
    volume = "24",
    pages = "109--156",
    keywords = "constraint satisfaction, honours reading",
    year = "2005",
    
    }
    


  9. Samuel R. Madden, Michael J. Franklin, Joseph M. Hellerstein, and Wei Hong. TinyDB: an acquisitional query processing system for sensor networks. ACM Trans. Database Syst., 30(1):122--173, 2005.
    Keywords: sensor networks, honours reading.

    Abstract: "We discuss the design of an acquisitional query processor for data collection in sensor networks. Acquisitional issues are those that pertain to where, when, and how often data is physically acquired (sampled) and delivered to query processing operators. By focusing on the locations and costs of acquiring data, we are able to significantly reduce power consumption over traditional passive systems that assume the a priori existence of data. We discuss simple extensions to SQL for controlling data acquisition, and show how acquisitional issues influence query optimization, dissemination, and execution. We evaluate these issues in the context of TinyDB, a distributed query processor for smart sensor devices, and show how acquisitional techniques can provide significant reductions in power consumption on our sensor devices."

    @Article{Madden2005,
    author = "Samuel R. Madden and Michael J. Franklin and Joseph M. Hellerstein and Wei Hong",
    title = "Tiny{DB}: an acquisitional query processing system for sensor networks",
    journal = "ACM Trans. Database Syst.",
    volume = "30",
    number = "1",
    pages = "122--173",
    abstract = "We discuss the design of an acquisitional query processor for data collection in sensor networks. Acquisitional issues are those that pertain to where, when, and how often data is physically acquired (sampled) and delivered to query processing operators. By focusing on the locations and costs of acquiring data, we are able to significantly reduce power consumption over traditional passive systems that assume the a priori existence of data. We discuss simple extensions to SQL for controlling data acquisition, and show how acquisitional issues influence query optimization, dissemination, and execution. We evaluate these issues in the context of TinyDB, a distributed query processor for smart sensor devices, and show how acquisitional techniques can provide significant reductions in power consumption on our sensor devices.",
    keywords = "sensor networks, honours reading",
    year = "2005",
    
    }
    


  10. P. J. Modi, W. Shen, M. Tambe, and M. Yokoo. Adopt: asynchronous distributed constraint optimization with quality guarantees. Artificial Intelligence, 161(1-2):149--180, 2005.
    Keywords: algorithms, honours reading, constraint satisfaction, DCOP, DCSP.
    @Article{Modi2005b,
    author = "P. J. Modi and W. Shen and M. Tambe and M. Yokoo",
    title = "Adopt: asynchronous distributed constraint optimization with quality guarantees",
    journal = "Artificial Intelligence",
    volume = "161",
    number = "1-2",
    pages = "149--180",
    keywords = "algorithms, honours reading, constraint satisfaction, DCOP, DCSP",
    year = "2005",
    
    }
    


  11. Liviu Panait and Sean Luke. Cooperative Multi-Agent Learning: The State of the Art. Autonomous Agents & Multi-Agent Systems, 11(3):387--434, 2005.
    Keywords: inductive logic programming, machine learning, honours reading.
    @Article{Panait2005,
    author = "Liviu Panait and Sean Luke",
    title = "Cooperative Multi-Agent Learning: The State of the Art",
    journal = "Autonomous Agents \& Multi-Agent Systems",
    volume = "11",
    number = "3",
    pages = "387--434",
    keywords = "inductive logic programming, machine learning, honours reading",
    year = "2005",
    
    }
    


  12. Liviu Panait and Sean Luke. Cooperative Multi-Agent Learning: The State of the Art. Autonomous Agents and Multi-Agent Systems, 11(3):387--434, 2005.
    Keywords: machine learning, inductive logic programming, honours reading, agents.
    @Article{Panait2005b,
    author = "Liviu Panait and Sean Luke",
    title = "Cooperative Multi-Agent Learning: The State of the Art",
    journal = "Autonomous Agents and Multi-Agent Systems",
    volume = "11",
    number = "3",
    pages = "387--434",
    keywords = "machine learning, inductive logic programming, honours reading, agents",
    year = "2005",
    
    }
    


  13. Neal Patwari, Joshua N. Ash, Spyros Kyperountas, Alfred O. Hero III, Randolph L. Moses, and Neiryer S. Correal. Locating the Nodes (cooperative localization in wireless sensor networks). IEEE Signal Processing Magazine, 22(4):54--69, 2005.
    Keywords: sensor networks, honours reading.

    Abstract: "Accurate and low-cost sensor localization is a critical requirement for the deployment of wireless sensor networks in a wide variety of applications. Low-power wireless sensors may be many hops away from any other sensors with a priori location information. In cooperative localization, sensors work together in a peer-to-peer manner to make measurements and then form a map of the network. Various application requirements (such as scalability, energy efficiency, and accuracy) will influence the design of sensor localization systems. In this article, we describe measurement-based statistical models useful to describe time-of-arrival (TOA), angle-of-arrival (AOA), and received-signal-strength (RSS) measurements in wireless sensor networks. Wideband and ultra-wideband (UWB) measurements, and RF and acoustic media are also discussed. Using the models, we show how to calculate a Cramér-Rao bound (CRB) on the location estimation precision possible for a given set of measurements. This is a useful tool to help system designers and researchers select measurement technologies and evaluate localization algorithms. We also briefly survey a large and growing body of sensor localization algorithms. This article is intended to emphasize the basic statistical signal processing background necessary to understand the state-of-the-art and to make progress in the new and largely open areas of sensor network localization research."

    @Article{Patwari2005,
    author = "Neal Patwari and Joshua N. Ash and Spyros Kyperountas and Alfred O. Hero III and Randolph L. Moses and Neiryer S. Correal",
    title = "Locating the Nodes (cooperative localization in wireless sensor networks)",
    journal = "IEEE Signal Processing Magazine",
    volume = "22",
    number = "4",
    pages = "54--69",
    abstract = "Accurate and low-cost sensor localization is a critical requirement for the deployment of wireless sensor networks in a wide variety of applications. Low-power wireless sensors may be many hops away from any other sensors with a priori location information. In cooperative localization, sensors work together in a peer-to-peer manner to make measurements and then form a map of the network. Various application requirements (such as scalability, energy efficiency, and accuracy) will influence the design of sensor localization systems. In this article, we describe measurement-based statistical models useful to describe time-of-arrival (TOA), angle-of-arrival (AOA), and received-signal-strength (RSS) measurements in wireless sensor networks. Wideband and ultra-wideband (UWB) measurements, and RF and acoustic media are also discussed. Using the models, we show how to calculate a Cramér-Rao bound (CRB) on the location estimation precision possible for a given set of measurements. This is a useful tool to help system designers and researchers select measurement technologies and evaluate localization algorithms. We also briefly survey a large and growing body of sensor localization algorithms. This article is intended to emphasize the basic statistical signal processing background necessary to understand the state-of-the-art and to make progress in the new and largely open areas of sensor network localization research.",
    keywords = "sensor networks, honours reading",
    year = "2005",
    
    }
    


  14. A. Ricci and M. Viroli. Coordination artifacts: a unifying abstraction for engineering environment-mediated coordination in MAS. Informatica, 29(4):433--443, 2005.
    Note: Cited Reference Count: 44 Slovenia.
    Keywords: agent-oriented software engineering, honours reading.

    Abstract: "Similarly to human organizations, where the environment plays a fundamental role in supporting social activities, the environment of a multi-agent system (MAS) is the natural place where understanding and designing agent coordination. Accordingly, we propose the notion of coordination artifact as a unifying abstraction for engineering environment-based coordination of agents. This is meant to capture at the MAS level abstractions and concepts like services, tools, and artifacts, which are typically shared and exploited by the collectivity of individuals for achieving individual as well as global objectives. In this work we describe this framework, by defining a model for the coordination artifact abstraction, and discussing the infrastructures and technologies currently available for engineering MAS applications with coordination artifacts."
    [download paper ]
    @Article{Ricci2005,
    author = "A. Ricci and M. Viroli",
    title = "Coordination artifacts: a unifying abstraction for engineering environment-mediated coordination in {MAS}",
    journal = "Informatica",
    volume = "29",
    number = "4",
    pages = "433--443",
    note = "Cited Reference Count: 44 Slovenia",
    abstract = "Similarly to human organizations, where the environment plays a fundamental role in supporting social activities, the environment of a multi-agent system (MAS) is the natural place where understanding and designing agent coordination. Accordingly, we propose the notion of coordination artifact as a unifying abstraction for engineering environment-based coordination of agents. This is meant to capture at the MAS level abstractions and concepts like services, tools, and artifacts, which are typically shared and exploited by the collectivity of individuals for achieving individual as well as global objectives. In this work we describe this framework, by defining a model for the coordination artifact abstraction, and discussing the infrastructures and technologies currently available for engineering MAS applications with coordination artifacts.",
    URL = "://INSPEC:9179483",
    keywords = "agent-oriented software engineering, honours reading",
    year = "2005",
    
    }
    


  15. Carles Sierra and Liz Sonenberg. A Real-Time Negotiation Model and A Multi-Agent Sensor Network Implementation. Autonomous Agents and Multi-Agent Systems, 11(1):5--6, 2005.
    Keywords: agentlab, models of interaction and context aware applications, sensor networks.
    @Article{Sierra2005,
    author = "Carles Sierra and Liz Sonenberg",
    title = "A Real-Time Negotiation Model and {A} Multi-Agent Sensor Network Implementation",
    journal = "Autonomous Agents and Multi-Agent Systems",
    volume = "11",
    number = "1",
    pages = "5--6",
    keywords = "agentlab, models of interaction and context aware applications, sensor networks",
    year = "2005",
    
    }
    


  16. Michael Thielscher. FLUX: A logic programming method for reasoning about agents. Theory and Practice of Logic Programming, 5:533--565, 2005.
    Keywords: agent programming languages, honours reading, situation calculus.

    Abstract: "FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is a system of Constraint Handling Rules, which enables agents to maintain an internal model of their environment by which they control their own behavior. The general action representation formalism of the fluent calculus provides the formal semantics for the constraint solver. FLUX exhibits excellent computational behavior due to both a carefully restricted expressiveness and the inference paradigm of progression."

    @Article{Thielscher2005,
    author = "Michael Thielscher",
    title = "{FLUX}: {A} logic programming method for reasoning about agents",
    journal = "Theory and Practice of Logic Programming",
    volume = "5",
    pages = "533--565",
    abstract = "FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is a system of Constraint Handling Rules, which enables agents to maintain an internal model of their environment by which they control their own behavior. The general action representation formalism of the fluent calculus provides the formal semantics for the constraint solver. FLUX exhibits excellent computational behavior due to both a carefully restricted expressiveness and the inference paradigm of progression.",
    keywords = "agent programming languages, honours reading, situation calculus",
    year = "2005",
    
    }
    


Conference Proceedings
  1. Fabio Bellifemine, Federico Bergenti, Giovanni Caire, and Agostino Poggi. JADE - A Java Agent Development Framework. In Multi-Agent Programming 2005, pages 125--147, 2005.
    Keywords: agent programming languages, honours reading, logistics.
    @InProceedings{Bellifemine2005,
    author = "Fabio Bellifemine and Federico Bergenti and Giovanni Caire and Agostino Poggi",
    title = "{JADE} - {A} Java Agent Development Framework",
    booktitle = "Multi-Agent Programming 2005",
    pages = "125--147",
    keywords = "agent programming languages, honours reading, logistics",
    year = "2005",
    
    }
    


  2. Jeffrey S. Cox and Edmund H. Durfee. An Efficient Algorithm for Multiagent Plan Coordination. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 828--835, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages.
    @InProceedings{Cox2005,
    author = "Jeffrey S. Cox and Edmund H. Durfee",
    title = "An Efficient Algorithm for Multiagent Plan Coordination",
    booktitle = "Autonomous Agent and Multiagent Systems (AAMAS-05)",
    address = "Urtrect",
    pages = "828--835",
    keywords = "multiagent coordination, honours reading, agent programming languages",
    year = "2005",
    
    }
    


  3. Jeffrey S. Cox, Edmund H. Durfee, and Thomas Bartold. A dstributed framework for solving the multiagnet plan coordination problem. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 821--827, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages.
    @InProceedings{Cox2005b,
    author = "Jeffrey S. Cox and Edmund H. Durfee and Thomas Bartold",
    title = "A dstributed framework for solving the multiagnet plan coordination problem",
    booktitle = "Autonomous Agent and Multiagent Systems (AAMAS-05)",
    address = "Urtrect",
    pages = "821--827",
    keywords = "multiagent coordination, honours reading, agent programming languages",
    year = "2005",
    
    }
    


  4. John Davin and Pragnesh Jay Modi. Impact of Problem Centralization in Distributed Constraint Optimization Algorithms. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 1057--1063, 2005.
    Keywords: multiagent coordination, honours reading, DCOP, DCSP, computational complexity.
    @InProceedings{Davin2005,
    author = "John Davin and Pragnesh Jay Modi",
    title = "Impact of Problem Centralization in Distributed Constraint Optimization Algorithms",
    booktitle = "Autonomous Agent and Multiagent Systems (AAMAS-05)",
    address = "Urtrect",
    pages = "1057--1063",
    keywords = "multiagent coordination, honours reading, DCOP,DCSP, computational complexity",
    year = "2005",
    
    }
    


  5. Tim French. Bisimulation Quantified Logics: Undecidability. In FSTTCS, pages 396--407, 2005.
    Keywords: modal logic, model theory, honours reading, computational complexity.
    @InProceedings{French2005,
    author = "Tim French",
    title = "Bisimulation Quantified Logics: Undecidability",
    booktitle = "FSTTCS",
    pages = "396--407",
    keywords = "modal logic, model theory, honours reading, computational complexity",
    year = "2005",
    
    }
    


  6. Peter Hebden and Adrian R. Pearce. Bloom filters for data aggregation and discovery: a hierarchical clustering approach. In M. Palamiswami, editor, Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP), Melbourne, Australia, pages 175--180, 2005. IEEE Computer Society Press.
    Keywords: sensor networks, agent programming languages, agentlab, NOSA.
    @InProceedings{Hebden2005,
    author = "Peter Hebden and Adrian R. Pearce",
    title = "Bloom filters for data aggregation and discovery: a hierarchical clustering approach",
    booktitle = "Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP)",
    editor = "M. Palamiswami",
    address = "Melbourne, Australia",
    publisher = "IEEE Computer Society Press",
    pages = "175--180",
    keywords = "sensor networks, agent programming languages, agentlab, NOSA",
    year = "2005",
    
    }
    


  7. Michael Kirley. Competition, cooperation and collective behaviour: resource utilization in non-stationary environments. In A Skowron et al., editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology, pages 572--578, 2005. EEE Press.
    Keywords: agentlab, agent-oriented software engineering.
    @InProceedings{Kirley2005b,
    author = "Michael Kirley",
    title = "Competition, cooperation and collective behaviour: resource utilization in non-stationary environments",
    booktitle = "IEEE/WIC/ACM International Conference on Intelligent Agent Technology",
    editor = "A Skowron et al.",
    publisher = "EEE Press",
    pages = "572--578",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2005",
    
    }
    


  8. M. Kirley. Competition, cooperation and collective behaviour: resource utilization in non-stationary environments.. In A. Skowron, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT2005), Compiegne, France, pages 572--578, 2005. IEEE Press.
    Keywords: agentlab, agent programming languages.
    @InProceedings{Kirley2005,
    author = "M. Kirley",
    title = "Competition, cooperation and collective behaviour: resource utilization in non-stationary environments.",
    booktitle = "IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT2005)",
    editor = "A. Skowron",
    address = "Compiegne, France",
    publisher = "IEEE Press",
    pages = "572--578",
    keywords = "agentlab, agent programming languages",
    year = "2005",
    
    }
    


  9. Gerhard Lakemeyer and Hector J. Levesque. Semantics for a useful fragment of the situation calculus. In IJCAI-05, Edinburgh, Scotland, pages 490--496, 2005.
    Keywords: modal logic, agent programming languages, honours reading, hybrid logic, situation calculus.

    Abstract: "In a recent paper, we presented a new logic called ES for reasoning about the knowledge, action, and perception of an agent. Although formulated using modal operators, we argued that the language was in fact a dialect of the situation calculus but with the situation terms suppressed. This allowed us to develop a clean and workable semantics for the language without piggybacking on the generic Tarski semantics for first-order logic. In this paper, we reconsider the relation between ES and the situation calculus and show how to map sentences of ES into the situation calculus. We argue that the fragment of the situation calculus represented by ES is rich enough to handle the basic action theories defined by Reiter as well as Golog. Finally, we show that in the full second-order version of ES, almost all of the situation calculus can be accommodated."

    @InProceedings{Lakemeyer2005,
    author = "Gerhard Lakemeyer and Hector J. Levesque",
    title = "Semantics for a useful fragment of the situation calculus",
    booktitle = "IJCAI-05",
    address = "Edinburgh, Scotland",
    pages = "490--496",
    abstract = "In a recent paper, we presented a new logic called ES for reasoning about the knowledge, action, and perception of an agent. Although formulated using modal operators, we argued that the language was in fact a dialect of the situation calculus but with the situation terms suppressed. This allowed us to develop a clean and workable semantics for the language without piggybacking on the generic Tarski semantics for first-order logic. In this paper, we reconsider the relation between ES and the situation calculus and show how to map sentences of ES into the situation calculus. We argue that the fragment of the situation calculus represented by ES is rich enough to handle the basic action theories defined by Reiter as well as Golog. Finally, we show that in the full second-order version of ES, almost all of the situation calculus can be accommodated.",
    keywords = "modal logic, agent programming languages, honours reading, hybrid logic, situation calculus",
    year = "2005",
    
    }
    


  10. Hoon Wei Lim and Kenneth G. Paterson. Identity-Based Cryptography for Grid Security. In First International Conference on e-Science and Grid Computing (e-Science'05), pages 395--404, 2005. IEEE Computer Society Press.
    Keywords: honours reading, cryptography.
    @InProceedings{Lim2005,
    author = "Hoon Wei Lim and Kenneth G. Paterson",
    title = "Identity-Based Cryptography for Grid Security",
    booktitle = "First International Conference on e-Science and Grid Computing (e-Science'05)",
    publisher = "IEEE Computer Society Press",
    pages = "395--404",
    keywords = "honours reading, cryptography",
    year = "2005",
    
    }
    


  11. Gang Lu, Narayanan Sadagopan, Bhaskar Krishnamachari, and Ashish Goel. Delay Efficient Sleep Scheduling in Wireless Sensor Networks. In IEEE INFOCOM,, Miami, FL, 2005.
    Keywords: sensor networks, honours reading.
    @InProceedings{Lu2005,
    author = "Gang Lu and Narayanan Sadagopan and Bhaskar Krishnamachari and Ashish Goel",
    title = "Delay Efficient Sleep Scheduling in Wireless Sensor Networks",
    booktitle = "IEEE INFOCOM,",
    address = "Miami, FL",
    keywords = "sensor networks, honours reading",
    year = "2005",
    
    }
    


  12. Roger Mailler. Comparing Two Approaches to Dynamic, Distributed Constraint Satisfaction. In Autonomous Agents and Multiagents Systems (AAMAS2005), Utrect, Netherlands, pages 1049--1056, 2005. ACM.
    Keywords: constraint satisfaction, multiagent coordination, honours reading.
    @InProceedings{Mailler2005,
    author = "Roger Mailler",
    title = "Comparing Two Approaches to Dynamic, Distributed Constraint Satisfaction",
    booktitle = "Autonomous Agents and Multiagents Systems (AAMAS2005)",
    address = "Utrect, Netherlands",
    publisher = "ACM",
    pages = "1049--1056",
    keywords = "constraint satisfaction, multiagent coordination, honours reading",
    year = "2005",
    
    }
    


  13. Tal Mizrahi and Yoram Moses. Coninuous consensus via common knowledge. In Tenth conference on Theoretical Aspects of Rationality and Knowledge (TARK X), National University of Singapore, 2005. ACM Digital Library.
    Keywords: epistemic logic, agent programming languages, honours reading, modal logic.

    Abstract: "ConCon algorithm"

    @InProceedings{Mizrahi2005,
    author = "Tal Mizrahi and Yoram Moses",
    title = "Coninuous consensus via common knowledge",
    booktitle = "Tenth conference on Theoretical Aspects of Rationality and Knowledge (TARK X)",
    address = "National University of Singapore",
    publisher = "ACM Digital Library",
    abstract = "ConCon algorithm",
    keywords = "epistemic logic, agent programming languages, honours reading, modal logic",
    year = "2005",
    
    }
    


  14. Pragnesh Jay Modi. Impact of Problem Centralization in Distributed Constraint Optimization Algorithms. In Autonomous Agents and Multiagent Systems (AAMAS2005), Utrect, Netherlands, pages 1057--1063, 2005. ACM.
    Keywords: constraint satisfaction, multiagent coordination, honours reading, DCOP, DCSP.
    @InProceedings{Modi2005,
    author = "Pragnesh Jay Modi",
    title = "Impact of Problem Centralization in Distributed Constraint Optimization Algorithms",
    booktitle = "Autonomous Agents and Multiagent Systems (AAMAS2005)",
    address = "Utrect, Netherlands",
    publisher = "ACM",
    pages = "1057--1063",
    keywords = "constraint satisfaction, multiagent coordination, honours reading, DCOP, DCSP",
    year = "2005",
    
    }
    


  15. Don Perugini, Dale Lambert, Leon Sterling, and Adrian Pearce. From single static to multiple dynamic combinatorical auctions. In A. Skowron, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT2005), Compiegne, France, pages 443--450, 2005. IEEE Press.
    Keywords: agentlab, agent programming languages.
    @InProceedings{Perugini2005,
    author = "Don Perugini and Dale Lambert and Leon Sterling and Adrian Pearce",
    title = "From single static to multiple dynamic combinatorical auctions",
    booktitle = "IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT2005)",
    editor = "A. Skowron",
    address = "Compiegne, France",
    publisher = "IEEE Press",
    pages = "443--450",
    keywords = "agentlab, agent programming languages",
    year = "2005",
    
    }
    


  16. Iyad Rahwan, Fernando Koch, Connor Graham, Anton Kattan, and Liz Sonenberg. Goal-Directed Automated Negotiation for Supporting Mobile User Coordination. In CONTEXT 2005, pages 382--395, 2005.
    Keywords: agentlab, models of interaction and context aware applications, negotiation.
    @InProceedings{Rahwan2005,
    author = "Iyad Rahwan and Fernando Koch and Connor Graham and Anton Kattan and Liz Sonenberg",
    title = "Goal-Directed Automated Negotiation for Supporting Mobile User Coordination",
    booktitle = "CONTEXT 2005",
    pages = "382--395",
    keywords = "agentlab, models of interaction and context aware applications, negotiation",
    year = "2005",
    
    }
    


  17. Paul Scerri, Alessandro Farinelli, Steven Okamoto, and Milind Tambe. Allocating Tasks in Extreme Teams. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 727--734, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages.
    @InProceedings{Scerri2005,
    author = "Paul Scerri and Alessandro Farinelli and Steven Okamoto and Milind Tambe",
    title = "Allocating Tasks in Extreme Teams",
    booktitle = "Autonomous Agent and Multiagent Systems (AAMAS-05)",
    address = "Urtrect",
    pages = "727--734",
    keywords = "multiagent coordination, honours reading, agent programming languages",
    year = "2005",
    
    }
    


  18. Raymond So and Liz Sonenberg. The Roles of Active Perception in Intelligent Agent Systems. In Proceedings of the Eighth Pacific Rim International Workshop on Multi-Agents (PRIMA'05), Kuala Lumpur, Malaysia, pages 161--174, 2005.
    Keywords: agentlab, models of interaction and context aware applications.
    @InProceedings{So2005,
    author = "Raymond So and Liz Sonenberg",
    title = "The Roles of Active Perception in Intelligent Agent Systems",
    booktitle = "Proceedings of the Eighth Pacific Rim International Workshop on Multi-Agents (PRIMA'05)",
    address = "Kuala Lumpur, Malaysia",
    pages = "161--174",
    keywords = "agentlab, models of interaction and context aware applications",
    year = "2005",
    
    }
    


  19. Leon Sterling and Thomas Juan. The software engineering of agent-based intelligent adaptive systems. In International Conference on Software Engineering (ICSE 2005), pages 704--705, 2005.
    Keywords: agent-oriented software engineering, agentlab, ROADMAP.
    @InProceedings{Sterling2005,
    author = "Leon Sterling and Thomas Juan",
    title = "The software engineering of agent-based intelligent adaptive systems",
    booktitle = "International Conference on Software Engineering (ICSE 2005)",
    pages = "704--705",
    keywords = "agent-oriented software engineering, agentlab, ROADMAP",
    year = "2005",
    
    }
    


  20. Budhitama Subagdja and Liz Sonenberg. Learning Plans with Patterns of Actions in Bounded-Rational Agents. In International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2005), Melbourne, pages 30--36, 2005.
    Keywords: agentlab, models of interaction and context aware applications.
    @InProceedings{Subagdja2005,
    author = "Budhitama Subagdja and Liz Sonenberg",
    title = "Learning Plans with Patterns of Actions in Bounded-Rational Agents",
    booktitle = "International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2005)",
    address = "Melbourne",
    pages = "30--36",
    keywords = "agentlab, models of interaction and context aware applications",
    year = "2005",
    
    }
    


  21. M. Tambe, E. Bowring, H. Jung, G. Kaminka, R. Maheswaran, J. Marecki, P. J. Modi, R. Nair, S. Okamoto, J. P. Pearce, P. Paruchuri, D. Pynadath, P. Scerri, N. Schurr, and P. Varakantham. Conflicts in teamwork: Hybrids to the rescue. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 3--11, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages.
    @InProceedings{Tambe2005,
    author = "M. Tambe and E. Bowring and H. Jung and G. Kaminka and R. Maheswaran and J. Marecki and P. J. Modi and R. Nair and S. Okamoto and J. P. Pearce and P. Paruchuri and D. Pynadath and P. Scerri and N. Schurr and P. Varakantham",
    title = "Conflicts in teamwork: Hybrids to the rescue",
    booktitle = "Autonomous Agent and Multiagent Systems (AAMAS-05)",
    address = "Urtrect",
    pages = "3--11",
    keywords = "multiagent coordination, honours reading, agent programming languages",
    year = "2005",
    
    }
    


  22. Yang Xu, Paul Scerri, Bin Yu, Steven Okamoto, Michael Lewis, and Katia Sycara. An integrated toekn-based algorithm for scalable coordination. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 407--414, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages.
    @InProceedings{Xu2005,
    author = "Yang Xu and Paul Scerri and Bin Yu and Steven Okamoto and Michael Lewis and Katia Sycara",
    title = "An integrated toekn-based algorithm for scalable coordination",
    booktitle = "Autonomous Agent and Multiagent Systems (AAMAS-05)",
    address = "Urtrect",
    pages = "407--414",
    keywords = "multiagent coordination, honours reading, agent programming languages",
    year = "2005",
    
    }
    


Thesis
  1. Matthew Pattison. An investigation of retaliation and reconciliation conventions in the repeated prisoners dilemma with implementation noise. MIS, The University of Melbourne, 2005.
    Keywords: agentlab, models of interaction and context aware applications.
    @PhdThesis{Pattison2005,
    author = "Matthew Pattison",
    title = "An investigation of retaliation and reconciliation conventions in the repeated prisoners dilemma with implementation noise",
    school = "The University of Melbourne",
    type = "MIS",
    keywords = "agentlab, models of interaction and context aware applications",
    year = "2005",
    
    }
    


  2. Susannah Soon. Multi-agent Teamwork Coordination: A Graph-Based Intention Recognition Approach. PhD, The University of Melbourne, 2005.
    Keywords: agentlab, agent programming languages, teamwork, coordination.
    @PhdThesis{Soon2005,
    author = "Susannah Soon",
    advisor = "Pearce, Adrian R.",
    editor = "Adrian R. Pearce",
    title = "Multi-agent Teamwork Coordination: {A} Graph-Based Intention Recognition Approach",
    school = "The University of Melbourne",
    type = "PhD",
    keywords = "agentlab, agent programming languages, teamwork, coordination",
    year = "2005",
    
    }
    


  3. Steven Versteeg. A computational study of the crayfish escape circuit. PhD, The University of Melbourne, 2005.
    Keywords: agentlab, agent-oriented software engineering.
    @PhdThesis{Versteeg2005,
    author = "Steven Versteeg",
    title = "A computational study of the crayfish escape circuit",
    school = "The University of Melbourne",
    type = "PhD",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2005",
    
    }
    


Tehnical Reports
  1. Michael Genesereth and Nathaniel Love. General Game Playing: Game Description Language Specification. Technical Report March 15 2005, Stanford University, 2005.
    Keywords: logic programming, honours reading.

    Abstract: "The General Game Playing Project is a research project of the Stanford Logic Group, part of the Stanford University Computer Science Department. Our GGP Overview discusses the General Game Playing concept and describes our approach to research in this area. The GGP website contains information the Logic Group's research in general game playing, and forms the central resource for General Game Playing Competitions, the first of which was held at AAAI '05 in Pittsburgh. The website also hosts a GGP Game Manager, allowing General Game Players to connect and play single or multi-player games online, in order to help prepare for future competitions."
    [download paper ]
    @TechReport{Genesereth2005,
    author = "Michael Genesereth and Nathaniel Love",
    title = "General Game Playing: Game Description Language Specification",
    institution = "Stanford University",
    number = "March 15 2005",
    type = "Technical Report",
    abstract = "The General Game Playing Project is a research project of the Stanford Logic Group, part of the Stanford University Computer Science Department. Our GGP Overview discusses the General Game Playing concept and describes our approach to research in this area. The GGP website contains information the Logic Group's research in general game playing, and forms the central resource for General Game Playing Competitions, the first of which was held at AAAI '05 in Pittsburgh. The website also hosts a GGP Game Manager, allowing General Game Players to connect and play single or multi-player games online, in order to help prepare for future competitions.",
    URL = "http://games.stanford.edu/",
    keywords = "logic programming, honours reading",
    year = "2005",
    
    }
    


  2. Michael Luck, Peter McBurney, Onn Shehory, and Steve Willmott. Agent Technology: Computing as Interaction: A Roadmap for Agent-BasedComputing. Technical report, Agentlink, 2005.
    Keywords: agent programming languages, honours reading, agent-oriented software engineering, logistics.

    Abstract: "The AgentLink III Roadmap, which provides an assessment of the current situation with respect to the status of agent technologies, and indicates key directions for future development of the field, has finally been completed. The document is a substantial report that has been compiled over an extensive period, drawing on inputs from different research communities and industries across different geographical regions. It is intended as a means to aid organisations best target investments in the technology and its deployment, and for policy makers to identify and support areas of particular importance."
    [download paper ]
    @TechReport{Luck2005,
    author = "Michael Luck and Peter McBurney and Onn Shehory and Steve Willmott",
    title = "Agent Technology: Computing as Interaction: {A} Roadmap for Agent-BasedComputing",
    institution = "Agentlink",
    abstract = "The AgentLink III Roadmap, which provides an assessment of the current situation with respect to the status of agent technologies, and indicates key directions for future development of the field, has finally been completed. The document is a substantial report that has been compiled over an extensive period, drawing on inputs from different research communities and industries across different geographical regions. It is intended as a means to aid organisations best target investments in the technology and its deployment, and for policy makers to identify and support areas of particular importance.",
    URL = "http://www.agentlink.org/roadmap/",
    keywords = "agent programming languages, honours reading, agent-oriented software engineering, logistics",
    year = "2005",
    
    }
    


  3. Linh Anh Nguyen. The Modal Logic Programming System MProlog: Theory, Design, and Implementation. Technical report, 2005.
    Keywords: modal logic, logic programming, honours reading, agent programming languages.
    @TechReport{Nguyen2005,
    author = "Linh Anh Nguyen",
    title = "The Modal Logic Programming System {MP}rolog: Theory, Design, and Implementation",
    keywords = "modal logic, logic programming, honours reading, agent programming languages",
    year = "2005",
    
    }
    



Back to publication index



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.

Bibliography last modified: Fri Aug 6 11:18:01 2010 translated from BibTEX by bibtex2html