Back to publication index

Tehnical Reports
2005
  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] [download paper ] [bibtex-entry]


  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] [download paper ] [bibtex-entry]


  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. [bibtex-entry]


2004
  1. Jun Luo and Jean-Pierre Hubaux. A Survey of Inter-Vehicle Communication. Technical report IC/2004/24, School of computer and Communication Sciences, EPEL, 2004.
    Keywords: sensor networks, simulation, honours reading. [bibtex-entry]


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


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


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


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


2002
  1. M. Annamalai and L. Sterling. A guide to evaluating application-oriented domain specific ontologies. Technical report Jan 2002, Department of Computer Science and Software Engineering, The University of Melbourne, 2002.
    Keywords: agentlab, ontologies, agent-oriented software engineering. [bibtex-entry]


  2. R. B. Borie, R. Gary Parker, and C. A. Tovey. Solving problems on recursively constructed graphs. Technical Report TR-2002-04, Dept. Comp. Sci., University of Alabama, 2002.
    Keywords: graph theory, algorithms, computational complexity, honours reading. [bibtex-entry]


  3. S. Greenhill, S. Venkatesh, A. Pearce, and T. C. Ly. Representations and Processes in Decision Modelling. Technical Report DSTO-GD-0318, Defence Science and Technology Organisation (DSTO), feb # 2002 2002.
    Keywords: agentlab, agent programming languages. [download paper ] [bibtex-entry]


  4. S. Greenhill, S. Venkatesh, A. Pearce, and T. Ly. Situation Description Language (SDL) implementation. Technical Report DSTO-GD-0342, Defence Science and Technology Organisation (DSTO), nov # 2002 2002.
    Keywords: agentlab, agent programming languages. [download paper ] [bibtex-entry]


  5. S. Greenhill, S. Venkatesh, A. Pearce, and T. C. Ly. Situation Description Language. Technical Report DSTO-GD-0332, Defence Science and Technology Organisation (DSTO), aug # 2002 2002.
    Keywords: agentlab, agent programming languages. [download paper ] [bibtex-entry]


  6. John W. Lloyd. Knowledge Representation, Computation, and Learning in Higher-order Logic. Technical report draft 10/2/02, Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, 10/2/02 2002.
    Keywords: inductive logic programming, higher order logic. [bibtex-entry]


  7. H. P. van Ditmarsch. the Russian cards problem: a case study in cryptogrphy with public announcements. Technical report October 2002, 2002.
    Keywords: epistemic logic, agent programming languages, honours reading, games, cryptography. [bibtex-entry]


2001
  1. L Babai. Communication complexity. Technical Report TR-2001-09, Department of Computer Science, The University of Chicago, 2001 2001.
    Keywords: computational complexity, honours reading. [bibtex-entry]


  2. Bernard Chazelle. The PCP Theorem. Technical Report 2001, Princeton University, 2001.
    Keywords: computational complexity, honours reading. [bibtex-entry]


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. [bibtex-entry]


1999
  1. Clinton Heinze. Study capability specification - the virtual airshow. Study capability specification 1.0, DSTO, 1999.
    Keywords: simulation agents, agentlab, agent-oriented software engineering. [bibtex-entry]


  2. Adrian Pearce, Simon Goss, Graeme Murray, Clinton Heinze, and Ian Lloyd. Studies in learning the intentional structures of belief, desire-intentions software agents in simulations. Technical report BO 15/3, Aeronautical and Maritime Research Laboratories, DSTO, 1999.
    Keywords: agent-oriented software engineering, belief desires intentions, BDI, agentlab. [bibtex-entry]


  3. Liz Sonenberg and Gil Tidhar. Observations on Team-Oriented Mental State Recognition. Technical Report 1999/13, Department of Computer Science and Software Engineering, The University of Melbourne, Australia, 1999.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]


  4. Gil Tidhar, Liz Sonenberg, and Anand Rao. A Framework for BDI Teams. Technical Report 1999/12, Department of Computer Science and Software Engineering, The University of Melbourne, Australia, 1999.
    Keywords: agentlab, models of interaction and context aware applications, belief desires intentions, BDI. [bibtex-entry]


1998
  1. David Draper. Bayesian Heirarchical Modeling. Technical report 1998, Department of Mathematical Science, University of Bath, 1998.
    Note: Unpublished book.
    Keywords: Bayesian theory, honours reading. [bibtex-entry]


  2. Xiaoying Gao and Leon Sterling. Classified advertisement search agent (CASA): a knowledge-based information agent for searching semi-structured text. Technical Report 1/1998, Department of Computer Science and Software Engineering, the University of Melbourne, 1998.
    Keywords: agentlab. [bibtex-entry]


  3. Seng Wai Loke and Andrew Davison. A concurrent logic programming model of the Web. Technical Report 23/1998, Department of Computer Science and Software Engineering, the University of Melbourne, 1998.
    Keywords: agentlab. [bibtex-entry]


  4. Seng Wai Loke and Andrew Davison. A logic programming approach to generating web-based guided tours. Technical Report 19/1998, Department of Computer Science and Software Engineering, the University of Melbourne, 1998.
    Keywords: agentlab. [bibtex-entry]


  5. Seng Wai Loke and Andrew Davison. The implementation of a system for declarative mobile code and web querying. Technical Report 21/1998, Department of Computer Science and Software Engineering, the University of Melbourne, 1998.
    Keywords: agentlab. [bibtex-entry]


  6. Seng Wai Loke, Leon Sterling, and Liz Sonenberg. Towards the rapid creation of domain-specialized information agents. Technical Report 22/1998, Department of Computer Science and Software Engineering, the University of Melbourne, 1998.
    Keywords: agentlab. [bibtex-entry]


  7. Claude Sammut and Adrian R. Pearce. Scaling up Behavioural Cloning. Technical report September, School of Computer Science and Engineering, University of New South Wales, 1998.
    Keywords: machine learning, agentlab. [bibtex-entry]


  8. Nigel Shadbolt, Nick Milton, and Simon Goss. Knowledge Engineering Methods For Knowledge Management. Technical report 1998, University of Nottingham, Artificial Intelligence Group, Department of Psychology, University Park, Nottingham NG7 2RD United Kingdom, 1998.
    Keywords: agent-oriented software engineering, agentlab. [bibtex-entry]


  9. Steven Versteeg. Comparison of Mobile Agent Toolkits for Java. Technical Report June 1998, 1998.
    Keywords: agentlab. [bibtex-entry]


1997
  1. Hans Leo Bodlaender. Treewidth: algorithmic techniques and results. Technical Report Tech. report UU-CS-1997-31, 1997, Univ. Utrecht, Dept. of Computer Science, 1997.
    Keywords: graph theory, honours reading. [download paper ] [bibtex-entry]


  2. Michael Papasimeon. The Design of the XCombat System. Technical Report 1997, Aeronautical and Maritime Research Laboratories, DSTO, 1997.
    Keywords: simulation, agentlab, multi-agent simulation. [bibtex-entry]


  3. Kim Shearer, Horst Bunke, Svetha Venkatesh, and Dorota Kieronska. Efficient graph mathicng for video indexing. Technical Report 1997, Department of Computer Science, Curtin University, 1997.
    Keywords: graph theory, honours reading. [bibtex-entry]


1996
  1. H. Bunke and B. T. Messmer. Recent Advances in Graph Matching. Technical Report 1996, Institut fur Informatik und angewandte Mathematik, University of Bern, 1996.
    Keywords: graph theory, honours reading. [bibtex-entry]


  2. Wray L. Buntine. A guide to the literature on learning graphical models. Technical Report 1996, RIACS at NASA Ames Research Center, 1996.
    Keywords: Bayesian theory, honours reading. [bibtex-entry]


  3. T. Gabric, S Ch'ng, Gil Tidhar, and Liz Sonenberg. Implementation of the guided team selection approach. Technical Report 96/21, Department of Computer Science, University of Melbourne, Australia, 1996.
    Keywords: agentlab. [bibtex-entry]


  4. Jonathan Oliver and David Hand. Introduction to Minimum Encoding Inference. Technical Report 205, Department of Computer Science, Monash University, Clayton, Victoria, Australia, December 1996.
    Keywords: minimum message length, honours reading. [bibtex-entry]


  5. Adrian Pearce, Terry Caelli, and Simon Goss. Aeronautical Parser for Spatio-Temporal Rules obtained by Machine Learning. Contract Report for DSTO 1996, Department of Computing, Curtin University, October 1996.
    Keywords: machine learning, simulation, agentlab. [bibtex-entry]


1995
  1. Joseph Y. Halpern. Reasoning about knowledge: a survey. Technical Report 1995, IBM Almaden Research Center, 1995.
    Note: Appears in Handbook of Logic in Artificial Intelligence and Logic Programig, Vol 4. D. Gabbay, C.J. Hogger, and J. A. Robinson, eds, Oxford University Press, 1995, pp 1-34.
    Keywords: agents, honours reading. [bibtex-entry]


  2. Howden, Lin Padgham, and Liz Sonenberg. An Exploration of Incremental Update for Defeasible Inheritance Reasoners. Technical Report 95/7, Department of Computer Science, University of Melbourne, Australia, 1995.
    Keywords: agentlab. [bibtex-entry]


1994
  1. T. Gabric, Howden, Emma Norling, Gil Tidhar, and Liz Sonenberg. Multi-agent Design of a Traffic Flow Control System. Technical Report 94/24, Department of Computer Science, University of Melbourne, Australia, 1994.
    Keywords: agentlab. [bibtex-entry]


1993
  1. Don Batory. The LEAPS Algorithms. Technical Report TR-94-29, Department of Computer Sciences, The University of Texas, 1993.
    Keywords: logic programming, logistics, honours reading, expert systems. [abstract] [bibtex-entry]


  2. Craig Dillon, Terry Caelli, Simon Goss, and Graeme Murray. Symbolic Description Generator, Final Report. Contract Report for DSTO 1993, Computer Science Department, The University of Melbourne, December 1993.
    Keywords: simulation, agentlab. [bibtex-entry]


1992
  1. Adrian Pearce. A survey of uncertainty calculi for pattern recognition using machine learning. Technical Report 1992, Department of Computer Science, Melbourne University, May 1992.
    Keywords: Bayesian theory, agentlab. [bibtex-entry]


1991
  1. Adrian Pearce and Terry Caelli. A label Compatibility Checking Method for Evidence-Based Classification Systems. Technical Report 1991, Department of Computer Science, Melbourne University, 1991.
    Keywords: machine learning, agentlab. [bibtex-entry]


1984
  1. Leslie Lamport and Michael Fischer. Byzantine Generals and transaction commit protocols. Technical report Op. 62, SRI International and Yale University, 1984.
    Keywords: honours reading, coordination, agent communication languagess, algorithms. [abstract] [bibtex-entry]



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