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

Publications of year 2010

Journal Articles and Chapters

  1. James Bailey, Guozhu Gond, and Anthony Widjaja. Logical queries over views: Decidability and expressiveness. ACM Trans. Comput. Log., 11(2):1-35, 2010.
    Keywords: agentlab, transaction-oriented multi-agent systems, active databases. [download paper ]
    @article{ tag,
    Author = {Bailey, James and Gond, Guozhu and Widjaja, Anthony},
    Title = {Logical queries over views: Decidability and expressiveness},
    Journal = {ACM Trans. Comput. Log.},
    Volume = {11},
    Number = {2},
    Pages = {1-35},
    URL = {http://tocl.acm.org/accepted/373bailey.pdf},
    Keywords = {agentlab, transaction-oriented multi-agent systems, active databases},
    Year = {2010} 
    }
    


  2. Graeme Gange, Peter J. Stuckey, and Vitaly Lagoon. Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. (JAIR), 38:307-338, 2010.
    Keywords: agentlab, optimisation.
    @article{ tag,
    Author = {Gange, Graeme and Stuckey, Peter J. and Lagoon, Vitaly},
    Title = {Fast Set Bounds Propagation Using a BDD-SAT Hybrid},
    Journal = {J. Artif. Intell. Res. (JAIR)},
    Volume = {38},
    Pages = {307-338},
    Keywords = {agentlab, optimisation},
    Year = {2010} 
    }
    


  3. Ryan Kelly and Adrian R. Pearce. Property Persistence in the Situation Calculus. Artificial Intelligence, 174:865-888, 2010.
    Keywords: agentlab, automated planning languages. [download paper ]
    @article{ tag,
    Author = {Kelly, Ryan and Pearce, Adrian R.},
    Title = {Property Persistence in the Situation Calculus},
    Journal = {Artificial Intelligence},
    Volume = {174},
    Pages = {865-888},
    URL = {http://www.agentlab.unimelb.edu.au/papers/kelly2010.pdf},
    Keywords = {agentlab, automated planning languages},
    Year = {2010} 
    }
    


  4. Elsa Loekito, James Bailey, and Jian Pei. A binary decision diagram based approach for mining frequent subsequences. Knowl. Inf. Syst., 24(2):235-268, 2010.
    Keywords: agentlab, transaction-oriented multi-agent systems, active databases.
    @article{ tag,
    Author = {Loekito, Elsa and Bailey, James and Pei, Jian},
    Title = {A binary decision diagram based approach for mining frequent subsequences},
    Journal = {Knowl. Inf. Syst.},
    Volume = {24},
    Number = {2},
    Pages = {235-268},
    Keywords = {agentlab, transaction-oriented multi-agent systems, active databases},
    Year = {2010} 
    }
    


  5. Andreas Schutt and Peter J. Stuckey. Incremental Satisfiability and Implication for UTVPI Constraints.. INFORMS Journal on Computing, 22(4):514-527, 2010.
    Keywords: agentlab, optimisation.
    @article{ tag,
    Author = {Schutt, Andreas and Stuckey, Peter J.},
    Title = {Incremental Satisfiability and Implication for UTVPI Constraints.},
    Journal = { INFORMS Journal on Computing },
    Volume = {22},
    Number = {4},
    Pages = {514-527},
    Keywords = {agentlab, optimisation},
    Year = {2010} 
    }
    


  6. Alex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, and Anthony Wirth. Lock-free parallel dynamic programming.. J. Parallel Distrib. Comput., 70(8):(8):839-848, 2010.
    Keywords: agentlab, optimisation.
    @article{ tag,
    Author = {Stivala, Alex and Stuckey, Peter J. and Banda, Maria Garcia de la and Hermenegildo, Manuel V. and Wirth, Anthony},
    Title = {Lock-free parallel dynamic programming. },
    Journal = {J. Parallel Distrib. Comput. },
    Volume = {70(8): },
    Number = {8},
    Pages = {839-848},
    Keywords = {agentlab, optimisation},
    Year = {2010} 
    }
    


  7. Peter J. Stuckey. Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008).. Constraints, 15(2):149-150, 2010.
    Keywords: agentlab, optimisation.
    @article{ tag,
    Author = {Stuckey, Peter J.},
    Title = {Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008). },
    Journal = {Constraints},
    Volume = {15},
    Number = {2},
    Pages = {149-150},
    Keywords = {agentlab, optimisation},
    Year = {2010} 
    }
    


Conference Proceedings

  1. Giuseppe De Giacomo, Yves Lesperance, and Adrian R. Pearce. Situation Calculus-Based Programs for Representing and Reasoning about Game Structures. In Fangzhen Lin Sattler and Ulrike, editors, Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, pages 445-455, 2010.
    Keywords: agentlab, automated planning languages. [download paper ]
    @inproceedings{ tag,
    Author = {De Giacomo, Giuseppe and Lesperance, Yves and Pearce, Adrian R.},
    Title = {Situation Calculus-Based Programs for Representing and Reasoning about Game Structures},
    BookTitle = {Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010)},
    Editor = {Sattler, Fangzhen Lin and Ulrike},
    Address= {Toronto, Canada},
    Pages = {445-455},
    URL = {http://www.agentlab.unimelb.edu.au/papers/degiacomo2010.pdf},
    Keywords = {agentlab, automated planning languages},
    Year = {2010} 
    }
    


  2. Jonathan Y. Ito, David V. Pynadath, Liz Sonenberg, and Stacy C. Marsella. Wishful thinking in effective decision making. In Autonomous Agents and Multiagent Systems (AAMAS2010), pages 1527-1528, 2010.
    Keywords: agentlab, models of interaction and context aware applications.
    @inproceedings{ tag,
    Author = {Ito, Jonathan Y. and Pynadath, David V. and Sonenberg, Liz and Marsella, Stacy C.},
    Title = {Wishful thinking in effective decision making},
    BookTitle = {Autonomous Agents and Multiagent Systems (AAMAS2010)},
    Pages = {1527-1528},
    Keywords = {agentlab, models of interaction and context aware applications},
    Year = {2010} 
    }
    



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