Back to publication index

Publications of year 2007
Journal Articles and Chapters
  1. X. Chu and R. Buyya. Service Oriented Sensor Web. In N. P. Mahalik, editor,Sensor Network and Configuration: Fundamentals, Standards, Platforms, and Applications, pages 51--74. Springer-Verlag, Germany, 2007.
    Keywords: agentlab, NOSA. 
    @InCollection{Chu2007,
author = "X. Chu and R. Buyya",
title = "Service Oriented Sensor Web",
booktitle = "Sensor Network and Configuration: Fundamentals, Standards, Platforms, and Applications",
editor = "N. P. Mahalik",
publisher = "Springer-Verlag, Germany",
pages = "51--74",
keywords = "agentlab, NOSA",
year = "2007",

}


  2. Peter Menzies. Counterfactual theories of causation. In Edward N. Zalta, editor,Stanford Encyclopedia of Philosophy. Stanford University, 2007.
    Keywords: counterfactual reasoning, honours reading. [download paper ] 
    @InCollection{Menzies2007,
author = "Peter Menzies",
title = "Counterfactual theories of causation",
booktitle = "Stanford Encyclopedia of Philosophy",
editor = "Edward N. Zalta",
publisher = "Stanford University",
URL = "http://plato.stanford.edu/entries/causation-counterfactual/",
keywords = "counterfactual reasoning, honours reading",
year = "2007",

}


  3. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, and Dirk Vermeir. Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. In Computational Logic in Multi-Agent Systems (CLIMA VII), volume 4371 of Lecture Notes in Computer Science, pages 20--40. Springer, 2007.
    Keywords: logic programming, answer set programming, honours reading. 
    @InCollection{Nieuwenborgh2007,
author = "Davy Van Nieuwenborgh and Marina De Vos and Stijn Heymans and Dirk Vermeir",
title = "Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming",
booktitle = "Computational Logic in Multi-Agent Systems (CLIMA VII)",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
volume = "4371",
pages = "20--40",
keywords = "logic programming, answer set programming, honours reading",
year = "2007",

}


  4. Peter Hebden and Adrian R. Pearce. Distributed Asynchronous Clustering for Self-Organisation of Wireless Sensor Networks. International Journal on Information Processing (IJIP), 1(2), 2007.
    Keywords: agentlab, sensor networks, agent programming languages, NOSA. [download paper ] 
    @Article{Hebden2007,
author = "Peter Hebden and Adrian R. Pearce",
title = "Distributed Asynchronous Clustering for Self-Organisation of Wireless Sensor Networks",
journal = "International Journal on Information Processing (IJIP)",
volume = "1",
number = "2",
URL = "http://www.agentlab.unimelb.edu.au/papers/hebden2007.pdf",
keywords = "agentlab, sensor networks, agent programming languages, NOSA",
year = "2007",

}


  5. Mark Hopkins and Judea Pearl. Causality and Counterfactuals in the Situation Calculus. J Logic Computation, 17(5):955--982, 2007.
    Keywords: honours reading, situation calculus, causality. 
    @Article{Hopkins2007,
author = "Mark Hopkins and Judea Pearl",
title = "Causality and Counterfactuals in the Situation Calculus",
journal = "J Logic Computation",
volume = "17",
number = "5",
pages = "955--982",
keywords = "honours reading, situation calculus, causality",
year = "2007",

}


  6. Jeff Kramer. Is abstraction the key to computing? http://doi.acm.org.ezproxy.lib.unimelb.edu.au/10.1145/1232743.1232745. Commun. ACM, 50(4):36--42, 2007.
    Keywords: honours reading. 
    @Article{Kramer2007,
author = "Jeff Kramer",
title = "Is abstraction the key to computing? http://doi.acm.org.ezproxy.lib.unimelb.edu.au/10.1145/1232743.1232745",
journal = "Commun. ACM",
volume = "50",
number = "4",
pages = "36--42",
keywords = "honours reading",
year = "2007",

}


  7. Ami Marowka. Parallel computing on any desktop. Commun. ACM, 50(9):74--78, 2007.
    Keywords: agent programming languages, honours reading. [download paper ] 
    @Article{Marowka2007,
author = "Ami Marowka",
title = "Parallel computing on any desktop",
journal = "Commun. ACM",
volume = "50",
number = "9",
pages = "74--78",
URL = "http://doi.acm.org.ezproxy.lib.unimelb.edu.au/10.1145/1284621.1284622",
keywords = "agent programming languages, honours reading",
year = "2007",

}


  8. P. McBurney, D. Hitchcock, and S. Parsons. The eightfold way of deliberation dialogue. International Journal of Intelligent Systems, 22(1):95--132, 2007.
    Keywords: argumentation, honours reading. [download paper ] 
    @Article{McBurney2007,
author = "P. McBurney and D. Hitchcock and S. Parsons",
title = "The eightfold way of deliberation dialogue",
journal = "International Journal of Intelligent Systems",
volume = "22",
number = "1",
pages = "95--132",
URL = "://9328696",
keywords = "argumentation, honours reading",
year = "2007",

}


  9. Tim Miller and Peter McBurney. A Formal Semantics for Gaia Liveness Rules and Expressions. International Journal of Agent-Oriented Software Engineering, 1(3/4):435--476, 2007.
    Keywords: agentlab, agent-oriented software engineering, agent programming languages. 
    @Article{Miller2007,
author = "Tim Miller and Peter McBurney",
title = "A Formal Semantics for Gaia Liveness Rules and Expressions",
journal = "International Journal of Agent-Oriented Software Engineering",
volume = "1",
number = "3/4",
pages = "435--476",
keywords = "agentlab, agent-oriented software engineering, agent programming languages",
year = "2007",

}


  10. Barbara Morawska. General E-unification with Eager Variable Elimination and a Nice Cycle Rule. Journal of Automated Reasoning, 39(1):77--106, 2007.
    Note: TY - JOUR.
    Keywords: model theory, inductive logic programming, unification, honours reading.

    Abstract: "Abstract  We present a goal-directed E-unification procedure with eager Variable Elimination and a new rule, Cycle, for the case of collapsing equations – that is, equations of the type x ≈ v where x ∈Var(v). Cycle replaces Variable Decomposition (or the so-called Root Imitation) and thus removes possibility of some obviously unnecessary infinite paths of inferences in the E-unification procedure. We prove that, as in other approaches, such inferences into variable positions in our goal-directed procedure are not needed. Our system is independent of selection rule and complete for any E-unification problem."
    [download paper ] 
    @Article{Morawska2007,
author = "Barbara Morawska",
title = "General {E}-unification with Eager Variable Elimination and a Nice Cycle Rule",
journal = "Journal of Automated Reasoning",
volume = "39",
number = "1",
pages = "77--106",
note = "TY - JOUR",
abstract = "Abstract  We present a goal-directed E-unification procedure with eager Variable Elimination and a new rule, Cycle, for the case of collapsing equations – that is, equations of the type x ≈ v where x ∈Var(v). Cycle replaces Variable Decomposition (or the so-called Root Imitation) and thus removes possibility of some obviously unnecessary infinite paths of inferences in the E-unification procedure. We prove that, as in other approaches, such inferences into variable positions in our goal-directed procedure are not needed. Our system is independent of selection rule and complete for any E-unification problem.",
URL = "http://dx.doi.org/10.1007/s10817-007-9068-z",
keywords = "model theory, inductive logic programming, unification, honours reading",
year = "2007",

}


  11. Soren Holbech Nielsen and Simon Parsons. An application of formal argumentation: Fusing Bayesian networks in multi-agent systems.. Artificial Intelligence, 171(10-15):754--775, 2007.
    Keywords: argumentation, honours reading. 
    @Article{Nielsen2007,
author = "Soren Holbech Nielsen and Simon Parsons",
title = "An application of formal argumentation: Fusing Bayesian networks in multi-agent systems.",
journal = "Artificial Intelligence",
volume = "171",
number = "10-15",
pages = "754--775",
keywords = "argumentation, honours reading",
year = "2007",

}


  12. Ayodele Oluyomi, Shanika Karunasekera, and Leon Sterling. A comprehensive view of agent-oriented patterns. Autonomous Agents and Multi-Agent Systems, 15(3):337--377, 2007.
    Keywords: agent-oriented software engineering, agentlab, ROADMAP. 
    @Article{Oluyomi2007,
author = "Ayodele Oluyomi and Shanika Karunasekera and Leon Sterling",
title = "A comprehensive view of agent-oriented patterns",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "15",
number = "3",
pages = "337--377",
keywords = "agent-oriented software engineering, agentlab, ROADMAP",
year = "2007",

}


  13. Nicole Ronald, Leon Sterling, and Michael Kirley. An agent-based approach to modelling pedestrian behaviour. International Journal of Simulation: Systems, Science and Technology, 8(1):25--39, 2007.
    Keywords: agentlab, agent-oriented software engineering, ROADMAP. 
    @Article{Ronald2007b,
author = "Nicole Ronald and Leon Sterling and Michael Kirley",
title = "An agent-based approach to modelling pedestrian behaviour",
journal = "International Journal of Simulation: Systems, Science and Technology",
volume = "8",
number = "1",
pages = "25--39",
keywords = "agentlab, agent-oriented software engineering, ROADMAP",
year = "2007",

}


  14. Tuoma Snadholm. Expressive commerce and its application to sourcing: how we conducted $35 billion of generalized combinatorical auctions. AI Magazine, 28(3):45--58, 2007.
    Keywords: honours reading, game theory. 
    @Article{Snadholm2007,
author = "Tuoma Snadholm",
title = "Expressive commerce and its application to sourcing: how we conducted $35 billion of generalized combinatorical auctions",
journal = "AI Magazine",
volume = "28",
number = "3",
pages = "45--58",
keywords = "honours reading, game theory",
year = "2007",

}


Conference Proceedings
  1. Jian Huang and Adrian R. Pearce. Collaborative inductive logic programming for path planning. In Manuela M. Veloso, editor, Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), volume 1, Hyderabad, India, pages 1327--1332, 2007. IJCAI.
    Keywords: agentlab, agent programming languages, inductive logic programming, honours reading, collaborative logic programming, NOSA. [download paper ] 
    @InProceedings{Huang2007,
author = "Jian Huang and Adrian R. Pearce",
title = "Collaborative inductive logic programming for path planning",
booktitle = "Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07)",
editor = "Manuela M. Veloso",
address = "Hyderabad, India",
publisher = "IJCAI",
volume = "1",
pages = "1327--1332",
URL = "http://www.agentlab.unimelb.edu.au/papers/huang2007.pdf",
keywords = "agentlab, agent programming languages, inductive logic programming, honours reading, collaborative logic programming, NOSA",
year = "2007",

}


  2. Ryan F. Kelly and Adrian R. Pearce. Knowledge and Observations in the Situation Calculus. In ACM International Conference on Autonomous and Multiagent Systems (AAMAS 2007), volume 1, Honolulu, Hawaii, USA, pages 841--843, 2007. ACM Press.
    Keywords: agent programming languages, agentlab, MINDIGOLOG, situation calculus. [download paper ] 
    @InProceedings{Kelly2007,
author = "Ryan F. Kelly and Adrian R. Pearce",
title = "Knowledge and Observations in the Situation Calculus",
booktitle = "ACM International Conference on Autonomous and Multiagent Systems (AAMAS 2007)",
address = "Honolulu, Hawaii, USA",
publisher = "ACM Press",
volume = "1",
pages = "841--843",
URL = "http://www.agentlab.unimelb.edu.au/papers/kelly2007.pdf",
keywords = "agent programming languages, agentlab, MINDIGOLOG, situation calculus",
year = "2007",

}


  3. Ryan F. Kelly and Adrian R. Pearce. Property persistence in the situation calculus. In Manuela M. Veloso, editor, Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), volume 2, Hyderabad, India, pages 1948--1953, 2007. IJCAI.
    Keywords: agentlab, agent programming languages, honours reading, situation calculus, MINDIGOLOG. [download paper ] 
    @InProceedings{Kelly2007b,
author = "Ryan F. Kelly and Adrian R. Pearce",
title = "Property persistence in the situation calculus",
booktitle = "Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07)",
editor = "Manuela M. Veloso",
address = "Hyderabad, India",
publisher = "IJCAI",
volume = "2",
pages = "1948--1953",
URL = "http://www.agentlab.unimelb.edu.au/papers/kelly2007b.pdf",
keywords = "agentlab, agent programming languages, honours reading, situation calculus, MINDIGOLOG",
year = "2007",

}


  4. Hui Li and Rajkumar Buyya. Model-Driven Simulation of Grid Scheduling Strategies. In 3rd IEEE International Conference on e-Science and Grid Computing, 2007.
    Keywords: honours reading. 
    @InProceedings{Li2007,
author = "Hui Li and Rajkumar Buyya",
title = "Model-Driven Simulation of Grid Scheduling Strategies",
booktitle = "3rd IEEE International Conference on e-Science and Grid Computing",
keywords = "honours reading",
year = "2007",

}


  5. Micahel M. Papasimeon, Adrian R. Pearce, and Simon Goss. The Human Agent Virtual Environment. In ACM International Conference on Autonomous and Multiagent Systems (AAMAS 2007), volume 2, Honolulu, Hawaii, USA, pages 1443--1450, 2007. ACM Press.
    Keywords: agent programming languages, agentlab, multi-agent simulation. [download paper ] 
    @InProceedings{Papasimeon2007,
author = "Micahel M. Papasimeon and Adrian R. Pearce and Simon Goss",
title = "The Human Agent Virtual Environment",
booktitle = "ACM International Conference on Autonomous and Multiagent Systems (AAMAS 2007)",
address = "Honolulu, Hawaii, USA",
publisher = "ACM Press",
volume = "2",
pages = "1443--1450",
URL = "http://www.agentlab.unimelb.edu.au/papers/papasimeon2007.pdf",
keywords = "agent programming languages, agentlab, multi-agent simulation",
year = "2007",

}


  6. Duc Nghia Pham, John Thornton, and Abdul Sattar. Building structure into local search for SAT. In International Joint Conference on Artificial Intelligence, Hyderabad, pages 2359--2364, 2007.
    Keywords: Constraint satisfaction, DCSP, DCOP, honours reading. 
    @InProceedings{Pham2007,
author = "Duc Nghia Pham and John Thornton and Abdul Sattar",
title = "Building structure into local search for {SAT}",
booktitle = "International Joint Conference on Artificial Intelligence",
address = "Hyderabad",
pages = "2359--2364",
keywords = "Constraint satisfaction, DCSP, DCOP, honours reading",
year = "2007",

}


  7. Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, and Frank Dignum. On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation. In Twenty-Second Conference on Artificial Intelligence (AAAI), Vancouver, pages 116--121, 2007.
    Keywords: agentlab, models of interaction and context aware applications. 
    @InProceedings{Rahwan2007,
author = "Iyad Rahwan and Philippe Pasquier and Liz Sonenberg and Frank Dignum",
title = "On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation",
booktitle = "Twenty-Second Conference on Artificial Intelligence (AAAI)",
address = "Vancouver",
pages = "116--121",
keywords = "agentlab, models of interaction and context aware applications",
year = "2007",

}


  8. Amy Unruh, James Bailey, and Kotagiri Ramamohanarao. A Logging-Based Approach for Building More Robust Multi-agent Systems. In IEEE/ACM International Conference on Intelligent Agent Systems (IAT 2007), pages 342--349, 2007.
    Keywords: agentlab, transaction-oriented multi-agent systems, databases. 
    @InProceedings{Unruh2007,
author = "Amy Unruh and James Bailey and Kotagiri Ramamohanarao",
title = "A Logging-Based Approach for Building More Robust Multi-agent Systems",
booktitle = "IEEE/ACM International Conference on Intelligent Agent Systems (IAT 2007)",
pages = "342--349",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2007",

}


  9. H. P. van Ditmarsch, van der Hoek. W., and B. P. Kooi. Dynamic Epistemic Logic & Knowledge Puzzles. In Uta Priss, Simon Polovina, and Richard Hill, editors, Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Computer Science, pages 45--58, 2007. Springer Verlag.
    Keywords: epistemic logic, agent programming languages, honours reading. 
    @InProceedings{van_Ditmarsch2007,
author = "H. P. van Ditmarsch and van der Hoek. W. and B. P. Kooi",
title = "Dynamic Epistemic Logic \& Knowledge Puzzles",
booktitle = "Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007)",
editor = "Uta Priss and Simon Polovina and Richard Hill",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
volume = "4604",
pages = "45--58",
keywords = "epistemic logic, agent programming languages, honours reading",
year = "2007",

}


  10. Mingzhong Wang, Kotagiri Ramamohanarao, and Amy Unruh. Utilizing BDI Features for Transactional Agent Execution. In IEEE/ACM International Conference on Intelligent Agent Technology (IAT 2007), pages 215--221, 2007.
    Keywords: agentlab, transaction-oriented multi-agent systems, databases. 
    @InProceedings{Wang2007,
author = "Mingzhong Wang and Kotagiri Ramamohanarao and Amy Unruh",
title = "Utilizing {BDI} Features for Transactional Agent Execution",
booktitle = "IEEE/ACM International Conference on Intelligent Agent Technology (IAT 2007)",
pages = "215--221",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2007",

}


  11. Mingzhong Wang, Amy Unruh, and Kotagiri Ramamohanarao. ARTS: agent-oriented robust transactional system. In International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), pages 80, 2007.
    Keywords: agentlab, transaction-oriented multi-agent systems, databases. 
    @InProceedings{Wang2007b,
author = "Mingzhong Wang and Amy Unruh and Kotagiri Ramamohanarao",
title = "{ARTS}: agent-oriented robust transactional system",
booktitle = "International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007)",
pages = "80",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2007",

}


  12. J. Yu, Michael Kirley, and Raj Buyya. Multi-objective Planning for Workflow Execution on Grids. In In T. Fahringer et al, editor, 8th IEEE/ACM International Conference on Grid Computing, pages 10--17, 2007. IEEE Press.
    Keywords: agentlab, agent programming languages, agent-oriented software engineering. 
    @InProceedings{Yu2007,
author = "J. Yu and Michael Kirley and Raj Buyya",
title = "Multi-objective Planning for Workflow Execution on Grids",
booktitle = "8th IEEE/ACM International Conference on Grid Computing",
editor = "In T. Fahringer et al",
publisher = "IEEE Press",
pages = "10--17",
keywords = "agentlab, agent programming languages, agent-oriented software engineering",
year = "2007",

}


Thesis
  1. Terence Heung-Wing Law. Focused Decomposition: multi-agent distributed constraint optimisation with linear communication. MSc, The University of Melbourne, 2007.
    Keywords: agent programming languages, agentlab. [download paper ] 
    @PhdThesis{Law2007,
author = "Terence Heung-Wing Law",
advisor = "Pearce, Adrian R.",
editor = "Adrian R. Pearce",
title = "Focused Decomposition: multi-agent distributed constraint optimisation with linear communication",
school = "The University of Melbourne",
type = "MSc",
URL = "http://www.agentlab.unimelb.edu.au/papers/law2007.pdf",
keywords = "agent programming languages, agentlab",
year = "2007",

}


  2. Nicole Ronald. Agent-based approaches to pedestrian modelling. M.Eng.Sc, The University of Melbourne, 2007.
    Keywords: agentlab, agent-oriented software engineering. 
    @PhdThesis{Ronald2007,
author = "Nicole Ronald",
title = "Agent-based approaches to pedestrian modelling",
school = "The University of Melbourne",
type = "M.Eng.Sc",
keywords = "agentlab, agent-oriented software engineering",
year = "2007",

}


  3. Budihitama Subagdja. Intentional learning in bounded-rational agents. PhD, The University of Melbourne, 2007.
    Keywords: agentlab, models of interaction and context aware applications. 
    @PhdThesis{Subagdja2007,
author = "Budihitama Subagdja",
title = "Intentional learning in bounded-rational agents",
school = "The University of Melbourne",
type = "PhD",
keywords = "agentlab, models of interaction and context aware applications",
year = "2007",

}



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