1. David Basin. Labelled deduction, Applied logic series ; v. 17. Kluwer Academic Publishers, Dordrecht ; Boston, 2000.
   Note: Edited by David Basin ... [et al.] ill. ; 25 cm.
   Keywords: model theory, proof theory, graph theory, honours reading.
   

   @Book{Basin2000,
   author = "David Basin",
   title = "Labelled deduction",
   publisher = "Kluwer Academic Publishers",
   address = "Dordrecht ; Boston",
   series = "Applied logic series ; v. 17",
   note = "edited by David Basin ... [et al.] ill. ; 25 cm",
   keywords = "model theory, proof theory, graph theory, honours reading",
   year = "2000",
   
   }
   




2. Robert Dale, Hermann Moisl, and H. L. Somers. Handbook of natural language processing. Marcel Dekker, New York, 2000.
   Note: 00031597 edited by Robert Dale, Hermann Moisl, Harold Somers.
   Keywords: computational linguistics, honours reading.
   

   @Book{Dale2000,
   author = "Robert Dale and Hermann Moisl and H. L. Somers",
   title = "Handbook of natural language processing",
   publisher = "Marcel Dekker",
   address = "New York",
   note = "00031597 edited by Robert Dale, Hermann Moisl, Harold Somers.",
   keywords = "computational linguistics, honours reading",
   year = "2000",
   
   }
   




3. David Harel, Dexter Kozen, and Jerzy Tiuryn. Dynamic Logic. MIT Press, 2000.
   Keywords: dynamic logic, modal logic, honours reading.
   
   

   Abstract:

   "Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter."

   
   

   @Book{Harel2000,
   author = "David Harel and Dexter Kozen and Jerzy Tiuryn",
   title = "Dynamic Logic",
   publisher = "MIT Press",
   abstract = "Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.",
   keywords = "dynamic logic, modal logic, honours reading",
   year = "2000",
   
   }
   




4. Judea Pearl. Causality : models, reasoning, and inference. Cambridge University Press, Cambridge, 2000.
   Keywords: causality, counterfactuals, honours reading.
   

   @Book{Pearl2000,
   author = "Judea Pearl",
   title = "Causality : models, reasoning, and inference",
   publisher = "Cambridge University Press",
   address = "Cambridge",
   keywords = "causality, counterfactuals, honours reading",
   year = "2000",
   
   }
   




5. Ehud Reiter and Robert Dale. Building natural language generation systems, Studies in natural language processing.. Cambridge University Press, Cambridge, U.K. ; New York, 2000.
   Note: 99014937 Ehud Reiter, Robert Dale. Includes bibliographical references and index.
   Keywords: computational linguistics, honours reading.
   

   @Book{Reiter2000,
   author = "Ehud Reiter and Robert Dale",
   title = "Building natural language generation systems",
   publisher = "Cambridge University Press",
   address = "Cambridge, U.K. ; New York",
   series = "Studies in natural language processing.",
   note = "99014937 Ehud Reiter, Robert Dale. Includes bibliographical references and index.",
   keywords = "computational linguistics, honours reading",
   year = "2000",
   
   }
   




6. Kenneth H. Rosen and John G. Michaels. Handbook of discrete and combinatorial mathematics. CRC Press, Boca Raton, FL, 2000.
   Note: 99048378 99048378 Kenneth H. Rosen, editor in chief, John G. Michaels, project editor ... [et al.]. Includes bibliographical references and index.
   Keywords: computational complexity, discrete mathematics, honours reading.
   

   @Book{Rosen2000,
   author = "Kenneth H. Rosen and John G. Michaels",
   title = "Handbook of discrete and combinatorial mathematics",
   publisher = "CRC Press",
   address = "Boca Raton, FL",
   note = "99048378 99048378 Kenneth H. Rosen, editor in chief, John G. Michaels, project editor ... [et al.]. Includes bibliographical references and index.",
   keywords = "computational complexity, discrete mathematics, honours reading",
   year = "2000",
   
   }
   

1. Peter A. Flach and Antonis C. Kakas. Abductive and Inductive Reasoning: Background and Issues. In Peter A. Flach and Antonis C. Kakas, editors,Abduction and Induction: Essays on Their Relation and Integration, pages 1--27. Kluwer Academic Publishers, 2000.
   Keywords: inductive logic programming, abductive logic programming, honours reading.
   

   @InCollection{Flach2000b,
   author = "Peter A. Flach and Antonis C. Kakas",
   title = "Abductive and Inductive Reasoning: Background and Issues",
   booktitle = "Abduction and Induction: Essays on Their Relation and Integration",
   editor = "Peter A. Flach and Antonis C. Kakas",
   publisher = "Kluwer Academic Publishers",
   pages = "1--27",
   keywords = "inductive logic programming, abductive logic programming, honours reading",
   year = "2000",
   
   }
   




2. Peter A. Flach. On the Logic of Hypothesis Generation. In Peter A. Flach and Antonis C. Kakas, editors,Abduction and Induction: Essays on Their Relation and Integration, pages 89--106. Kluwer Academic Publishers, 2000.
   Keywords: inductive logic programming, abductive logic programming, honours reading.
   

   @InCollection{Flach2000,
   author = "Peter A. Flach",
   title = "On the Logic of Hypothesis Generation",
   booktitle = "Abduction and Induction: Essays on Their Relation and Integration",
   editor = "Peter A. Flach and Antonis C. Kakas",
   publisher = "Kluwer Academic Publishers",
   pages = "89--106",
   keywords = "inductive logic programming, abductive logic programming, honours reading",
   year = "2000",
   
   }
   




3. X Gao and L. Sterling. Semi-structured Data Extraction from Heterogeneous Sources. In T. Bratjevik D. Schwartz, M. Divitini, editor,Internet-based Knowledge Management and Organizational Memories, pages 83--102. Idea Group Publishing, 2000.
   Keywords: agentlab, agent-oriented software engineering.
   

   @InCollection{Gao2000c,
   author = "X Gao and L. Sterling",
   title = "Semi-structured Data Extraction from Heterogeneous Sources",
   booktitle = "Internet-based Knowledge Management and Organizational Memories",
   editor = "T. Bratjevik {D. Schwartz, M. Divitini}",
   publisher = "Idea Group Publishing",
   pages = "83--102",
   keywords = "agentlab, agent-oriented software engineering",
   year = "2000",
   
   }
   




4. Nicolas Lachiche. Abduction and Induction From a Non-Monotonic Reasoning Perspective. In Peter A. Flach and Antonis C. Kakas, editors,Abduction and Induction: Essays on Their Relation and Integration, pages 107--116. Kluwer Academic Publishers, 2000.
   Keywords: abductive logic programming, inductive logic programming, machine learning, honours reading.
   

   @InCollection{Lachiche2000,
   author = "Nicolas Lachiche",
   title = "Abduction and Induction From a Non-Monotonic Reasoning Perspective",
   booktitle = "Abduction and Induction: Essays on Their Relation and Integration",
   editor = "Peter A. Flach and Antonis C. Kakas",
   publisher = "Kluwer Academic Publishers",
   pages = "107--116",
   keywords = "abductive logic programming, inductive logic programming, machine learning, honours reading",
   year = "2000",
   
   }
   




5. W. R. Wobcke. On the Correctness of PRS Agent Programs.. In Y. Jennings, N.R. & Lesperance, editor,Intelligent Agents VI.. Springer-Verlag, Berlin, 2000.
   Keywords: agentlab, models of interaction and context aware applications.
   

   @InCollection{Wobcke2000,
   author = "W. R. Wobcke",
   title = "On the Correctness of {PRS} Agent Programs.",
   booktitle = "Intelligent Agents VI.",
   editor = "Y. {Jennings, N.R. & Lesperance}",
   publisher = "Springer-Verlag, Berlin",
   keywords = "agentlab, models of interaction and context aware applications",
   year = "2000",
   
   }
   




6. W. R. Wobcke. Time Management in the Intelligent Assistant. In D. D. Azvine, B., Azarmi, N. & Nauck, editor,Intelligent Systems and Soft Computing. Springer-Verlag, Berlin, 2000.
   Keywords: agentlab, models of interaction and context aware applications.
   

   @InCollection{Wobcke2000b,
   author = "W. R. Wobcke",
   title = "Time Management in the Intelligent Assistant",
   booktitle = "Intelligent Systems and Soft Computing",
   editor = "D. D. {Azvine, B., Azarmi, N. & Nauck}",
   publisher = "Springer-Verlag",
   address = "Berlin",
   keywords = "agentlab, models of interaction and context aware applications",
   year = "2000",
   
   }
   




7. M. Wooldridge. Intelligent Agents. In G. Weiss, editor,Multiagent Systems A Modern Approach to Distributed Artificial Intelligence, pages 27--77. MIT Press, 2000.
   Keywords: agents, honours reading.
   

   @InCollection{Wooldridge2000b,
   author = "M. Wooldridge",
   title = "Intelligent Agents",
   booktitle = "Multiagent Systems A Modern Approach to Distributed Artificial Intelligence",
   editor = "G. Weiss",
   publisher = "MIT Press",
   pages = "27--77",
   keywords = "agents, honours reading",
   year = "2000",
   
   }
   




8. C. Boutilier, R. Dearden, and M. Goldszmidt. Stochastic dynamic programming with factored representations. Artificial Intelligence, 121(1-2):49--107, 2000.
   Keywords: Markov theory, honours reading.
   
   

   Abstract:

   "Factored MDPs"

   
   

   @Article{Boutilier2000,
   author = "C. Boutilier and R. Dearden and M. Goldszmidt",
   title = "Stochastic dynamic programming with factored representations",
   journal = "Artificial Intelligence",
   volume = "121",
   number = "1-2",
   pages = "49--107",
   abstract = "Factored MDPs",
   keywords = "Markov theory, honours reading",
   year = "2000",
   
   }
   




9. D. P. Djian, N. Azarmi, B. Azvine, K. C. Tsui, and W. R. Wobcke. Towards Human-Centred Intelligent Systems: The Intelligent Assistant. BT Technology Journal, 18(1):91--92, 2000.
   Keywords: agentlab, models of interaction and context aware applications.
   

   @Article{Djian2000,
   author = "D. P. Djian and N. Azarmi and B. Azvine and K. C. Tsui and W. R. Wobcke",
   title = "Towards Human-Centred Intelligent Systems: The Intelligent Assistant",
   journal = "BT Technology Journal",
   volume = "18",
   number = "1",
   pages = "91--92",
   keywords = "agentlab, models of interaction and context aware applications",
   year = "2000",
   
   }
   




10. T. Eiter, V. S. Subrahmanian, and T. J. Rogers. Heterogeneous active agents. III. Polynomially implementable agents. Artificial Intelligence, 117(1):107--67, 2000.
    Note: Publisher: Elsevier, Netherlands.
    Keywords: agent programming languages, honours reading.
    
    

    Abstract:

    "For pt.II see ibid., no.108, p.257-307 (1999). In pt.I (ibid., no.108, p.179-255, 1999), there are introduced techniques to build agents on top of arbitrary data structures, and to {"}agentize{"} new/existing programs. Provided are a series of successively more sophisticated semantics for such agent systems; as these semantics become epistemically more desirable, a computational price may need to be paid. In this paper, we identify the class of weakly regular agents, by first identifying a fragment of weakly regular agent programs (WRAP). It is shown that WRAPs are definable via three parameters; safety, conflict-freedom and deontic stratifiability. Algorithms for each of these are developed. A weakly regular agent is then defined in terms of these concepts, and a regular agent is one that satisfies an additional boundedness property. We then describe a polynomial algorithm that computes (under suitable assumptions) the reasonable status set semantics of regular agents-this semantics is epistemically the most desirable. Though this semantics is coNP-complete for arbitrary agent programs, it is polynomially computable via our algorithm for regular agents. Finally, we describe our implementation architecture and provide details of how we have implemented RAPs, together with experimental results. (39 References)."

    
    

    @Article{Eiter2000,
    author = "T. Eiter and V. S. Subrahmanian and T. J. Rogers",
    title = "Heterogeneous active agents. {III}. Polynomially implementable agents",
    journal = "Artificial Intelligence",
    volume = "117",
    number = "1",
    pages = "107--67",
    note = "Publisher: Elsevier, Netherlands.",
    abstract = "For pt.II see ibid., no.108, p.257-307 (1999). In pt.I (ibid., no.108, p.179-255, 1999), there are introduced techniques to build agents on top of arbitrary data structures, and to {"}agentize{"} new/existing programs. Provided are a series of successively more sophisticated semantics for such agent systems; as these semantics become epistemically more desirable, a computational price may need to be paid. In this paper, we identify the class of weakly regular agents, by first identifying a fragment of weakly regular agent programs (WRAP). It is shown that WRAPs are definable via three parameters; safety, conflict-freedom and deontic stratifiability. Algorithms for each of these are developed. A weakly regular agent is then defined in terms of these concepts, and a regular agent is one that satisfies an additional boundedness property. We then describe a polynomial algorithm that computes (under suitable assumptions) the reasonable status set semantics of regular agents-this semantics is epistemically the most desirable. Though this semantics is coNP-complete for arbitrary agent programs, it is polynomially computable via our algorithm for regular agents. Finally, we describe our implementation architecture and provide details of how we have implemented RAPs, together with experimental results. (39 References).",
    keywords = "agent programming languages, honours reading",
    year = "2000",
    
    }
    




11. G De Giacomo, Y. Lesperance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus.. Artificial Intelligence, 121(1-2):109--169, 2000.
    Keywords: situation calculus, agent programming languages, honours reading, logistics, GOLOG.
    

    @Article{De_Giacomo2000,
    author = "G De Giacomo and Y. Lesperance and H. J. Levesque",
    title = "ConGolog, a concurrent programming language based on the situation calculus.",
    journal = "Artificial Intelligence",
    volume = "121",
    number = "1-2",
    pages = "109--169",
    keywords = "situation calculus, agent programming languages, honours reading, logistics, GOLOG",
    year = "2000",
    
    }
    




12. G. Gottlob, N. Leone, and F. Scarcello. A comparison of structural CSP decomposition methods. Artificial Intelligence, vol.124, no.2:243--282, 2000.
    Keywords: agent programming languages, multiagent coordination, graph theory, constraint satisfaction, honours reading, DCOP, DCSP.
    
    

    Abstract:

    "We compare tractable classes of constraint satisfaction problems (CSPs). We first give a uniform presentation of the major structural CSP decomposition methods. We then introduce a new class of tractable CSPs based on the concept of hypertree decomposition developed in database theory, and analyze the cost of solving CSPs having bounded hypertree-width. We provide a framework for comparing parametric decomposition-based methods according to tractability criteria and compare the most relevant methods. We show that the method of hypertree decomposition dominates the others in the case of general CSPs (i.e., CSPs of unbounded arity). We also make comparisons for the restricted case of binary CSPs. Finally, we consider the application of decomposition methods to the dual graph of a hypergraph. In fact, this technique is often used to exploit binary decomposition methods for nonbinary CSPs. However, even in this case, the hypertree decomposition method turns out to be the most general method."

    
    

    @Article{Gottlob2000,
    author = "G. Gottlob and N. Leone and F. Scarcello",
    title = "A comparison of structural {CSP} decomposition methods",
    journal = "Artificial Intelligence",
    volume = "vol.124, no.2",
    pages = "243--282",
    abstract = "We compare tractable classes of constraint satisfaction problems (CSPs). We first give a uniform presentation of the major structural CSP decomposition methods. We then introduce a new class of tractable CSPs based on the concept of hypertree decomposition developed in database theory, and analyze the cost of solving CSPs having bounded hypertree-width. We provide a framework for comparing parametric decomposition-based methods according to tractability criteria and compare the most relevant methods. We show that the method of hypertree decomposition dominates the others in the case of general CSPs (i.e., CSPs of unbounded arity). We also make comparisons for the restricted case of binary CSPs. Finally, we consider the application of decomposition methods to the dual graph of a hypergraph. In fact, this technique is often used to exploit binary decomposition methods for nonbinary CSPs. However, even in this case, the hypertree decomposition method turns out to be the most general method.",
    keywords = "agent programming languages, multiagent coordination, graph theory, constraint satisfaction, honours reading, DCOP, DCSP",
    year = "2000",
    
    }
    




13. J. Y. Halpern. Axiomatizing causal reasoning. Journal of Artificial Intelligence Research, 12:317--37, 2000.
    Note: Publisher: AI Access Foundation & Morgan Kaufmann Publishers, USA.
    Keywords: causality, honours reading, counterfactuals.
    
    

    Abstract:

    "Causal models defined in terms of a collection of equations, as defined by J. Pearl (1995, 1999), are axiomatized. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, and (3) arbitrary theories (where the equations may not have solutions and, if they do, they are not necessarily unique). It is shown that to reason about causality in the most general third class, we must extend the language used by D. Galles and J. Pearl (1997, 1998). In addition, the complexity of the decision procedures is characterized for all the languages and classes of models considered. (14 References)."

    
    

    @Article{Halpern2000,
    author = "J. Y. Halpern",
    title = "Axiomatizing causal reasoning",
    journal = "Journal of Artificial Intelligence Research",
    volume = "12",
    pages = "317--37",
    note = "Publisher: AI Access Foundation & Morgan Kaufmann Publishers, USA.",
    abstract = "Causal models defined in terms of a collection of equations, as defined by J. Pearl (1995, 1999), are axiomatized. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, and (3) arbitrary theories (where the equations may not have solutions and, if they do, they are not necessarily unique). It is shown that to reason about causality in the most general third class, we must extend the language used by D. Galles and J. Pearl (1997, 1998). In addition, the complexity of the decision procedures is characterized for all the languages and classes of models considered. (14 References).",
    keywords = "causality, honours reading, counterfactuals",
    year = "2000",
    
    }
    




14. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Semantics of Communicating Agents Based on Deduction and Abduction. Lecture Notes In Computer Science, 1916(Issues in Agent Communication):63--79, 2000.
    Keywords: agent communication languages, honours reading.
    

    @Article{Hindriks2000,
    author = "Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer",
    title = "Semantics of Communicating Agents Based on Deduction and Abduction",
    journal = "Lecture Notes In Computer Science",
    volume = "1916",
    number = "Issues in Agent Communication",
    pages = "63--79",
    keywords = "agent communication languages, honours reading",
    year = "2000",
    
    }
    




15. E. Kazmierczak, P. Dart, L. Sterling, and M. Winikoff. Verifying Requirements through Mathematical Modelling and Animation. International Journal of Software Engineering and Knowlege Engineering, 10(2):251--273, 2000.
    Keywords: agentlab, agent-oriented software engineering.
    

    @Article{Kazmierczak2000,
    author = "E. Kazmierczak and P. Dart and L. Sterling and M. Winikoff",
    title = "Verifying Requirements through Mathematical Modelling and Animation",
    journal = "International Journal of Software Engineering and Knowlege Engineering",
    volume = "10",
    number = "2",
    pages = "251--273",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2000",
    
    }
    




16. Mamadou Tadiou Kone, Akira Shimazu, and Tatsuo Nakajima. The State of the Art in Agent Communication Languages. Knowledge and Information Systems, 2(3), 2000.
    Keywords: agent communication languagess, honours reading.
    

    @Article{Kone2000,
    author = "Mamadou Tadiou Kone and Akira Shimazu and Tatsuo Nakajima",
    title = "The State of the Art in Agent Communication Languages",
    journal = "Knowledge and Information Systems",
    volume = "2",
    number = "3",
    keywords = "agent communication languagess, honours reading",
    year = "2000",
    
    }
    




17. L. Naish and L. Sterling. Stepwise Enhancement and Higher Order programming in Prolog. Journal Functional and Logic Programming, 2000(4), 2000.
    Keywords: agentlab.
    

    @Article{Naish2000,
    author = "L. Naish and L. Sterling",
    title = "Stepwise Enhancement and Higher Order programming in Prolog",
    journal = "Journal Functional and Logic Programming",
    volume = "2000",
    number = "4",
    keywords = "agentlab",
    year = "2000",
    
    }
    




18. E. Osman, A. Pearce, M. Juttner, and I. Rentschler. Reconstructing mental object representations: A machine vision approach to human visual recognition. Spatial Vision, 13(2-3):277--295, 2000.
    Keywords: agentlab. [download paper ]
    

    @Article{Osman2000,
    author = "E. Osman and A. Pearce and M. Juttner and I. Rentschler",
    title = "Reconstructing mental object representations: {A} machine vision approach to human visual recognition",
    journal = "Spatial Vision",
    volume = "13",
    number = "2-3",
    pages = "277--295",
    URL = "http://www.agentlab.unimelb.edu.au/papers/osman1999.pdf",
    keywords = "agentlab",
    year = "2000",
    
    }
    




19. M. Wooldridge, N. R. Jennings, and D. Kinny. The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3(3):285--312, 2000.
    Note: Times Cited: 3 Article English Cited References Count: 34 412fd.
    Keywords: agent-oriented software engineering, agentlab, logistics.
    
    

    Abstract:

    "This article presents Gaia: a methodology for agent-oriented analysis and design. The Gaia methodology is both general, in that it is applicable to a wide range of multi-agent systems, and comprehensive, in that it deals with both the macro-level (societal) and the micro-level (agent) aspects of systems. Gaia is founded on the view of a multi-agent system as a computational organisation consisting of various interacting roles. We illustrate Gaia through a case study tan agent-based business process management system)."

    [download paper ]
    

    @Article{Wooldridge2000c,
    author = "M. Wooldridge and N. R. Jennings and D. Kinny",
    title = "The Gaia methodology for agent-oriented analysis and design",
    journal = "Autonomous Agents and Multi-Agent Systems",
    volume = "3",
    number = "3",
    pages = "285--312",
    note = "Times Cited: 3 Article English Cited References Count: 34 412fd",
    abstract = "This article presents Gaia: a methodology for agent-oriented analysis and design. The Gaia methodology is both general, in that it is applicable to a wide range of multi-agent systems, and comprehensive, in that it deals with both the macro-level (societal) and the micro-level (agent) aspects of systems. Gaia is founded on the view of a multi-agent system as a computational organisation consisting of various interacting roles. We illustrate Gaia through a case study tan agent-based business process management system).",
    URL = "://000167543600003",
    keywords = "agent-oriented software engineering, agentlab, logistics",
    year = "2000",
    
    }
    




20. Makoto Yokoo and Katsutoshi Hirayama. Algorithms for Distributed Constraint Satisfaction: A Review. Autonomous Agents and Multi-Agent Systems, 3(2):185--207, 2000.
    Keywords: algorithms, honours reading, constraint satisfaction, logistics.
    

    @Article{Yokoo2000,
    author = "Makoto Yokoo and Katsutoshi Hirayama",
    title = "Algorithms for Distributed Constraint Satisfaction: {A} Review",
    journal = "Autonomous Agents and Multi-Agent Systems",
    volume = "3",
    number = "2",
    pages = "185--207",
    keywords = "algorithms, honours reading, constraint satisfaction, logistics",
    year = "2000",
    
    }
    

1. B. Azvine, D. P. Djian, K. C. Tsui, and W. R. Wobcke. The Intelligent Assistant: An Overview. In D. D. Azvine, B., Azarmi, N. & Nauck, editor, Intelligent Systems and Soft Computing, 2000. Springer-Verlag, Berlin.
   Keywords: agentlab.
   

   @InProceedings{Azvine2000,
   author = "B. Azvine and D. P. Djian and K. C. Tsui and W. R. Wobcke",
   title = "The Intelligent Assistant: An Overview",
   booktitle = "Intelligent Systems and Soft Computing",
   editor = "D. D. {Azvine, B., Azarmi, N. & Nauck}",
   publisher = "Springer-Verlag, Berlin",
   keywords = "agentlab",
   year = "2000",
   
   }
   




2. C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In AAAI/IAAAI, pages 355--362, 2000.
   Keywords: agent programming languages, situation calculus, honours reading.
   

   @InProceedings{Boutilier2000b,
   author = "C. Boutilier and R. Reiter and M. Soutchanski and S. Thrun",
   title = "Decision-theoretic, high-level agent programming in the situation calculus",
   booktitle = "AAAI/IAAAI",
   pages = "355--362",
   keywords = "agent programming languages, situation calculus, honours reading",
   year = "2000",
   
   }
   




3. H. Bunke. Recent developments in graph matching. In 15th International Conference on Pattern Recognition, volume 2, pages 117--124, 2000.
   Keywords: graph matching, honours reading.
   

   @InProceedings{Bunke2000,
   author = "H. Bunke",
   title = "Recent developments in graph matching",
   booktitle = "15th International Conference on Pattern Recognition",
   volume = "2",
   pages = "117--124",
   keywords = "graph matching, honours reading",
   year = "2000",
   
   }
   




4. F. Dignum, D. Morley, L. Sonenberg, and L. Cavedon. Towards socially sophistcated BDI agents. In Nakashima H Durfee E, Kraus S and Tambe M, editors, Proceedings of the Fourth International Conference on MultiAgent Systems, Los Alamitos, 2000. IEEE Computer Society.
   Note: ISBN 0-7695-0625-9.
   Keywords: agentlab, models of interaction and context aware applications, belief desires intentions, BDI.
   

   @InProceedings{Dignum2000,
   author = "F. Dignum and D. Morley and L. Sonenberg and L. Cavedon",
   title = "Towards socially sophistcated {BDI} agents",
   booktitle = "Proceedings of the Fourth International Conference on MultiAgent Systems",
   editor = "Nakashima H {Durfee E, Kraus S} and Tambe M",
   address = "Los Alamitos",
   publisher = "IEEE Computer Society",
   note = "ISBN 0-7695-0625-9",
   keywords = "agentlab, models of interaction and context aware applications, belief desires intentions, BDI",
   year = "2000",
   
   }
   




5. X. Gao and L. Sterling. AutoWrapper: Automatic Wrapper Generation for Multiple Online Services. In Gilbert Young, editor, World Wide Web: Technologies and Applications for the New Millenium, pages 61--70, 2000. CSREA Press.
   Keywords: agentlab, agent-oriented software engineering.
   

   @InProceedings{Gao2000b,
   author = "X. Gao and L. Sterling",
   title = "AutoWrapper: Automatic Wrapper Generation for Multiple Online Services",
   booktitle = "World Wide Web: Technologies and Applications for the New Millenium",
   editor = "Gilbert Young",
   publisher = "CSREA Press",
   pages = "61--70",
   keywords = "agentlab, agent-oriented software engineering",
   year = "2000",
   
   }
   




6. X Gao and L. Sterling. Knowledge-Based Information Agents,. In Proceedings of the Pacific Rim Conference on Intelligent Information Agents (PRIIA 2000), Melbourne, pages 48--58, 2000.
   Keywords: agentlab, agent-oriented software engineering.
   

   @InProceedings{Gao2000,
   author = "X Gao and L. Sterling",
   title = "Knowledge-Based Information Agents,",
   booktitle = "Proceedings of the Pacific Rim Conference on Intelligent Information Agents (PRIIA 2000)",
   address = "Melbourne",
   pages = "48--58",
   keywords = "agentlab, agent-oriented software engineering",
   year = "2000",
   
   }
   




7. S. Goschnick. Shadowboard: a whole-agent architecture that draws abstractions from analytical psychology.. In Zhang C V-W and Soo, editors, Proceedings of the Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Design and applications of intelligent agents, pages 13--25, 2000. Heidelberg: Springer-Verlag.
   Keywords: agentlab, context-aware applications.
   

   @InProceedings{Goschnick2000,
   author = "S. Goschnick",
   title = "Shadowboard: a whole-agent architecture that draws abstractions from analytical psychology.",
   booktitle = "Proceedings of the Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Design and applications of intelligent agents",
   editor = "Zhang C V-W and Soo",
   publisher = "Heidelberg: Springer-Verlag",
   pages = "13--25",
   keywords = "agentlab, context-aware applications",
   year = "2000",
   
   }
   




8. Clinton Heinze, Michael Papasimeon, and Simon Goss. Specifying Agent Behaviour with Use Cases. In Pacific Rim International Workshop on Multi-Agent Systems (PRIMA 2000), pages 128--142, 2000.
   Keywords: agent-oriented software engineering, ontologies, agentlab, multi-agent simulation.
   

   @InProceedings{Heinze2000,
   author = "Clinton Heinze and Michael Papasimeon and Simon Goss",
   title = "Specifying Agent Behaviour with Use Cases",
   booktitle = "Pacific Rim International Workshop on Multi-Agent Systems (PRIMA 2000)",
   pages = "128--142",
   keywords = "agent-oriented software engineering, ontologies, agentlab, multi-agent simulation",
   year = "2000",
   
   }
   




9. C. Heinze, A. Pearce, L. Sterling, and S. Goss. Designing Perception Modules to Shape Information for BDI Agents. In Proceedings of the Pacific Rim Conference on Intelligent Information Agents, (PRIIA 2000), Melbourne, pages 100--112, 2000.
   Keywords: agentlab, agent-oriented software engineering, belief desires intentions, BDI.
   

   @InProceedings{Heinze2000b,
   author = "C. Heinze and A. Pearce and L. Sterling and S. Goss",
   title = "Designing Perception Modules to Shape Information for {BDI} Agents",
   booktitle = "Proceedings of the Pacific Rim Conference on Intelligent Information Agents, (PRIIA 2000)",
   address = "Melbourne",
   pages = "100--112",
   keywords = "agentlab, agent-oriented software engineering, belief desires intentions, BDI",
   year = "2000",
   
   }
   




10. Antoine Joux. A One Round Protocol for Tripartite Diffie-Hellman. In ANTS 2000, pages 385--394, 2000.
    Keywords: cryptography, honours reading.
    

    @InProceedings{Joux2000,
    author = "Antoine Joux",
    title = "A One Round Protocol for Tripartite Diffie-Hellman",
    booktitle = "ANTS 2000",
    pages = "385--394",
    keywords = "cryptography, honours reading",
    year = "2000",
    
    }
    




11. H. Lu and L. Sterling. Intelligent Matchmaking for Information Agents Cooperation on the World Wide Web. In C. Urban, editor, Proceedings of the Agent-Based Simulation workshop 2000, Passau, Germany, pages 161--168, 2000.
    Keywords: agentlab, agent-oriented software engineering.
    

    @InProceedings{Lu2000,
    author = "H. Lu and L. Sterling",
    title = "Intelligent Matchmaking for Information Agents Cooperation on the World Wide Web",
    booktitle = "Proceedings of the Agent-Based Simulation workshop 2000",
    editor = "C. Urban",
    address = "Passau, Germany",
    pages = "161--168",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2000",
    
    }
    




12. H. Lu and L. Sterling. Interoperability and Semi-Structured Data in an Open Web-based Agent Information System,. In Proceedings of the Workshop on Information Systems Engineering (WISE 2000), Hong Kong, pages 80--86, 2000.
    Keywords: agentlab, agent-oriented software engineering.
    

    @InProceedings{Lu2000b,
    author = "H. Lu and L. Sterling",
    title = "Interoperability and Semi-Structured Data in an Open Web-based Agent Information System,",
    booktitle = "Proceedings of the Workshop on Information Systems Engineering (WISE 2000)",
    address = "Hong Kong",
    pages = "80--86",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2000",
    
    }
    




13. H. Lu and L. Sterling. SportsAgents: A Mediator-based Multi-Agent System for Cooperative Information Gathering from the World Wide Web. In Proceedings of the Fifth International Conference on Practical Applications of Intelligent Agents and Agent Methodology, Manchester, UK, pages 331--334, 2000.
    Keywords: agentlab, agent-oriented software engineering.
    

    @InProceedings{Lu2000c,
    author = "H. Lu and L. Sterling",
    title = "SportsAgents: {A} Mediator-based Multi-Agent System for Cooperative Information Gathering from the World Wide Web",
    booktitle = "Proceedings of the Fifth International Conference on Practical Applications of Intelligent Agents and Agent Methodology",
    address = "Manchester, UK",
    pages = "331--334",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2000",
    
    }
    




14. S. Milton, E. Kazmierczak, and L. Thomas. Ontological foundations of data modeling in information systems. In Chang H., editor, Proceedings of Americas Conference on Information Systems 2000, 2000. Long Beach: Association for Information Systems.
    Keywords: agentlab, agent-oriented software engineering.
    

    @InProceedings{Milton2000b,
    author = "S. Milton and E. Kazmierczak and L. Thomas",
    title = "Ontological foundations of data modeling in information systems",
    booktitle = "Proceedings of Americas Conference on Information Systems 2000",
    editor = "Chang H.",
    publisher = "Long Beach: Association for Information Systems",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2000",
    
    }
    




15. S Milton and E. Kazmierczak. Enriching the ontological foundations of modelling in information systems. Information systems foundation workshop - ontology, semiotics and practice 1999. In Dampney CNG, editor, Proceedings of the information systems foundation workshop - ontology, semiotics and practice 1999, Sydney, 2000. Lighthouse Press.
    Keywords: agentlab, agent-oriented software engineering.
    

    @InProceedings{Milton2000,
    author = "S Milton and E. Kazmierczak",
    title = "Enriching the ontological foundations of modelling in information systems. Information systems foundation workshop - ontology, semiotics and practice 1999",
    booktitle = "Proceedings of the information systems foundation workshop - ontology, semiotics and practice 1999",
    editor = "Dampney CNG",
    address = "Sydney",
    publisher = "Lighthouse Press",
    keywords = "agentlab, agent-oriented software engineering",
    year = "2000",
    
    }
    




16. Emma Norling and Clint Heinze. Naturalistic Decision Making and Agent-Oriented Cognitive Modelling: A Preliminary Study (extended abstract). In 5th Conference of the Australasian Cognitive Science Society, Melbourne, 2000.
    Keywords: agentlab, context-aware applications.
    

    @InProceedings{Norling2000b,
    author = "Emma Norling and Clint Heinze",
    title = "Naturalistic Decision Making and Agent-Oriented Cognitive Modelling: {A} Preliminary Study (extended abstract)",
    booktitle = "5th Conference of the Australasian Cognitive Science Society",
    address = "Melbourne",
    keywords = "agentlab, context-aware applications",
    year = "2000",
    
    }
    




17. Emma Norling, Liz Sonenberg, and Ralph Ronnquist. Enhancing Multi-Agent Based Simulation with Human-Like Decision Making Strategies. In Scott Moss Davidsson and Paul, editors, Proceedings of the Multi-Agent-Based Simulation, Second International Workshop (MABS 2000) (LNCS vol. 1979), volume 1979, Boston, MA, USA, 2000. Springer Verlag.
    Keywords: agentlab, context-aware applications.
    

    @InProceedings{Norling2000c,
    author = "Emma Norling and Liz Sonenberg and Ralph Ronnquist",
    title = "Enhancing Multi-Agent Based Simulation with Human-Like Decision Making Strategies",
    booktitle = "Proceedings of the Multi-Agent-Based Simulation, Second International Workshop (MABS 2000) (LNCS vol. 1979)",
    editor = "Scott Moss Davidsson and Paul",
    address = "Boston, MA, USA",
    publisher = "Springer Verlag",
    volume = "1979",
    keywords = "agentlab, context-aware applications",
    year = "2000",
    
    }
    




18. Emma Norling. Flexible, Reusable Agents for Modelling Human Operators. In Proceedings of the Defence Human Factors SIG workshop, Melbourne, 2000.
    Keywords: agentlab, context-aware applications.
    

    @InProceedings{Norling2000,
    author = "Emma Norling",
    title = "Flexible, Reusable Agents for Modelling Human Operators",
    booktitle = "Proceedings of the Defence Human Factors SIG workshop",
    address = "Melbourne",
    keywords = "agentlab, context-aware applications",
    year = "2000",
    
    }
    




19. A. R. Pearce, C. A. Heinze, and S. Goss. Enabling perception for plan recognition in multi-agent air-mission simulations. In Proceedings of the Fourth International Conference on MultiAgent Systems (ICMASS2000), Boston, pages 427--8, 2000.
    Keywords: agentlab, agent programming languages.
    

    @InProceedings{Pearce2000,
    author = "A. R. Pearce and C. A. Heinze and S. Goss",
    title = "Enabling perception for plan recognition in multi-agent air-mission simulations",
    booktitle = "Proceedings of the Fourth International Conference on MultiAgent Systems (ICMASS2000)",
    address = "Boston",
    pages = "427--8",
    keywords = "agentlab, agent programming languages",
    year = "2000",
    
    }
    




20. Iyad Rahwan, Ryszard Kowalczyk, and Yun Yang. Virtual Enterprise Design - BDI Agents vs. Objects. In Proceedings of the PRICAI 2000 Workshop on AI in E-Commerce- Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence vol 2112, pages 147--157, 2000. Springer-Verlag.
    Keywords: agentlab, models of interaction and context aware applications, belief desires intentions, BDI.
    

    @InProceedings{Rahwan2000,
    author = "Iyad Rahwan and Ryszard Kowalczyk and Yun Yang",
    title = "Virtual Enterprise Design - {BDI} Agents vs. Objects",
    booktitle = "Proceedings of the PRICAI 2000 Workshop on AI in E-Commerce- Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence vol 2112",
    publisher = "Springer-Verlag",
    pages = "147--157",
    keywords = "agentlab, models of interaction and context aware applications, belief desires intentions, BDI",
    year = "2000",
    
    }
    




21. A. Senyard, P. Dart, and L. Sterling. Towards the Software Engineering of Neural Networks: A Maturity Model. In Proceedings of the 2000 Australian Software Engineering Conference, pages 45--52, 2000. IEEE Computer Society Press.
    Keywords: agentlab.
    

    @InProceedings{Senyard2000,
    author = "A. Senyard and P. Dart and L. Sterling",
    title = "Towards the Software Engineering of Neural Networks: {A} Maturity Model",
    booktitle = "Proceedings of the 2000 Australian Software Engineering Conference",
    publisher = "IEEE Computer Society Press",
    pages = "45--52",
    keywords = "agentlab",
    year = "2000",
    
    }
    




22. V. Teague and L. Sonenberg. Investigating commitment flexibility in multi-agent contracts. In Parsons S. P. and Gmytrasiewicz, editors, Proceedings of the 2nd workshop on decision theoretic and game theoretic agents, fourth international conference on multi-agent systems, Boston, 2000.
    Keywords: agentlab, models of interaction and context aware applications.
    

    @InProceedings{Teague2000,
    author = "V. Teague and L. Sonenberg",
    title = "Investigating commitment flexibility in multi-agent contracts",
    booktitle = "Proceedings of the 2nd workshop on decision theoretic and game theoretic agents, fourth international conference on multi-agent systems",
    editor = "Parsons S. P. and Gmytrasiewicz",
    address = "Boston",
    keywords = "agentlab, models of interaction and context aware applications",
    year = "2000",
    
    }
    




23. Michael Thielscher. Representing the Knowledge of a Robot. In KR 2000, pages 109--120, 2000.
    Keywords: agent programming languages, model theory, honours reading.
    

    @InProceedings{Thielscher2000,
    author = "Michael Thielscher",
    title = "Representing the Knowledge of a Robot",
    booktitle = "KR 2000",
    pages = "109--120",
    keywords = "agent programming languages, model theory, honours reading",
    year = "2000",
    
    }
    




24. G Tidhar and L. Sonenberg. Organized distributed systems. In Etzion O. P. and Scheuermann, editors, Proceedings of the 7th International Conference on Cooperative information systems (CoopIS 2000) - Lecture Notes in Computer Science, Eilat, pages 126--131, 2000. Heidelberg: Springer-Verlag.
    Keywords: teamwork, agentlab, models of interaction and context aware applications.
    

    @InProceedings{Tidhar2000,
    author = "G Tidhar and L. Sonenberg",
    title = "Organized distributed systems",
    booktitle = "Proceedings of the 7th International Conference on Cooperative information systems (CoopIS 2000) - Lecture Notes in Computer Science",
    editor = "Etzion O. P. and Scheuermann",
    address = "Eilat",
    publisher = "Heidelberg: Springer-Verlag",
    pages = "126--131",
    keywords = "teamwork, agentlab, models of interaction and context aware applications",
    year = "2000",
    
    }
    




25. W. R. Wobcke and A. G. Sichanie. Personal Diary Management with Fuzzy Preferences. In Proceedings of the Fifth International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, pages 105--120, 2000.
    Keywords: agentlab, models of interaction and context aware applications.
    

    @InProceedings{Wobcke2000c,
    author = "W. R. Wobcke and A. G. Sichanie",
    title = "Personal Diary Management with Fuzzy Preferences",
    booktitle = "Proceedings of the Fifth International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology",
    pages = "105--120",
    keywords = "agentlab, models of interaction and context aware applications",
    year = "2000",
    
    }
    




26. M. Wooldridge. Computationally Grounded Theories of Agency. In E. Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000), volume citeseer.nj.nec.com/wooldridge00computationally.html, 2000. IEEE Press.
    Keywords: honours reading, agent programming languages, belief desires intentions, BDI.
    

    @InProceedings{Wooldridge2000,
    author = "M. Wooldridge",
    title = "Computationally Grounded Theories of Agency",
    booktitle = "Proceedings of the Fourth International Conference on Multi-Agent Systems ({ICMAS} 2000)",
    editor = "E. Durfee",
    publisher = "IEEE Press",
    volume = "citeseer.nj.nec.com/wooldridge00computationally.html",
    keywords = "honours reading, agent programming languages, belief desires intentions, BDI",
    year = "2000",
    
    }
    




27. Kenichi Yoshimura, Ralph Ronnquist, and Liz Sonenberg. An approach to specifying coordinated agent behaviour. In Zhang C V-W and Soo, editors, Proceedings of the Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Design and applications of intelligent agents, LNCS vol 1881, pages 115--127, 2000. Heidelberg: Springer-Verlag.
    Keywords: agentlab, models of interaction and context aware applications.
    

    @InProceedings{Yoshimura2000,
    author = "Kenichi Yoshimura and Ralph Ronnquist and Liz Sonenberg",
    title = "An approach to specifying coordinated agent behaviour",
    booktitle = "Proceedings of the Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Design and applications of intelligent agents, LNCS vol 1881",
    editor = "Zhang C V-W and Soo",
    publisher = "Heidelberg: Springer-Verlag",
    pages = "115--127",
    keywords = "agentlab, models of interaction and context aware applications",
    year = "2000",
    
    }
    

1. H. P. van Ditmarsch. Knowledge Games. IILC Dissertation Series DS-2000-06, 2000.
   Keywords: epistemic logic, agent programming languages, honours reading, games. [download paper ]
   

   @PhdThesis{Ditmarsch2000,
   author = "H. P. van Ditmarsch",
   title = "Knowledge Games",
   type = "IILC Dissertation Series DS-2000-06",
   URL = "http://www.ai.rug.nl/~hans/",
   keywords = "epistemic logic, agent programming languages, honours reading, games",
   year = "2000",
   
   }
   

1. Barteld P. Kooi. Probability in Dynamic Epistemic Logic. Technical report 13/09/2000, Department of COmputer Science, University of Groningen, September 2000.
   Keywords: epistemic logic, model theory, honours reading, Bayesian Theory.
   

   @TechReport{Kooi2000,
   author = "Barteld P. Kooi",
   title = "Probability in Dynamic Epistemic Logic",
   institution = "Department of COmputer Science, University of Groningen",
   number = "13/09/2000",
   month = sep,
   keywords = "epistemic logic, model theory, honours reading, Bayesian Theory",
   year = "2000",
   
   }
   

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.