Browse by Journal or other publication
2022
Vasileiou, Stylianos Loukas and Yeoh, William and Son, Tran Cao and Kumar, Ashwin and Cashmore, Michael and Magazzeni, Dianele (2022) A logic-based explanation generation framework for classical and hybrid planning problems. Journal of Artificial Intelligence Research, 73. pp. 1473-1534. ISSN 1076-9757
2021
Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Long, Derek and Cashmore, Michael and Smith, David E. (2021) Contrastive explanations of plans through model restrictions. Journal of Artificial Intelligence Research, 72. ISSN 1076-9757
2020
Krivic, Senka and Cashmore, Michael and Magazzeni, Daniele and Szedmak, Sandor and Piater, Justus (2020) Using machine learning for decreasing state uncertainty in planning. Journal of Artificial Intelligence Research, 69. pp. 765-806. ISSN 1076-9757
Cashmore, Michael and Magazzeni, Daniele and Zehtabi, Parisa (2020) Planning for hybrid systems via Satisfiability Modulo Theories. Journal of Artificial Intelligence Research, 67. pp. 235-283. ISSN 1076-9757
2013
Cuenca Grau, Bernardo and Horrocks, Ian and Krötzsch, Markus and Kupke, Clemens and Magka, Despoina and Motik, Boris and Wang, Zhe (2013) Acyclicity notions for existential rules and their application to query answering in ontologies. Journal of Artificial Intelligence Research, 47. pp. 741-808. ISSN 1076-9757
2007
Coles, A.I. and Smith, A.J. (2007) Marvin: a heuristic search planner with online macro-action learning. Journal of Artificial Intelligence Research, 28. pp. 119-156.
2006
Fox, M. and Long, D. (2006) Modelling mixed discrete-continuous domains for planning. Journal of Artificial Intelligence Research, 27. pp. 235-297.
2004
Hoffmann, J. and Porteous, J. and Sebastia, L. (2004) Ordered landmarks in planning. Journal of Artificial Intelligence Research, 22. pp. 215-278.
2003
Fox, Maria and Long, Derek (2003) PDDL2.1 : An extension of PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research, 20. pp. 61-124.
Long, D. and Fox, M. (2003) The 3rd international planning competition : results and analysis. Journal of Artificial Intelligence Research, 20. pp. 1-59.
1999
Long, D. and Fox, M. (1999) Efficient Implementation of the Plan Graph in STAN. Journal of Artificial Intelligence Research, 10 (1999). pp. 87-115.
1998
Fox, M. and Long, D. (1998) The automatic inference of state invariants in TIM. Journal of Artificial Intelligence Research, 9. pp. 367-421.