Skip past navigation to main part of page
 
Faculties : A-Z Directory : Library
--- Back to publication index

Publications about 'MINDIGOLOG'

Conference Proceedings

  1. Ryan F. Kelly and Adrian R. Pearce. Complex Epistemic Modalities in the Situation Calculus. In International Conference on Principles of Knowledge Representation and Reasoning (KR2008), Sydney, pages 611-620, 2008.
    Keywords: agentlab, automated planning languages, MINDIGOLOG, situation calculus. [download paper ] [bibtex-entry]


  2. 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, automated planning languages, honours reading, situation calculus, MINDIGOLOG. [download paper ] [bibtex-entry]


  3. 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: automated planning languages, agentlab, MINDIGOLOG, situation calculus. [download paper ] [bibtex-entry]


  4. Ryan F. Kelly and Adrian R. Pearce. Towards high level programming for distributed problem solving. In Silvia Ceballos, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-06), Hong Kong, pages 490--497, 2006. IEEE Computer Society Press.
    Keywords: agentlab, automated planning languages, honours reading, situation calculus, MINDIGOLOG, GOLOG. [download paper ] [bibtex-entry]


Thesis

  1. Ryan Francis Kelly. Asynchronous Multi-Agent Reasoning in the Situation Calculus. PhD, The University of Melbourne, 2008.
    Keywords: agentlab, automated planning languages, MINDIGOLOG, situation calculus. [download paper ] [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: Tue Aug 21 12:15:11 2012 translated from BibTEX by bibtex2html
top of pagetop of page

Contact us

Contact the University : Disclaimer & Copyright : Privacy : Accessibility