Associate Professor Patrik Haslum
Areas of expertise
- Artificial Intelligence And Image Processing 0801
Research interests
For an overview of research interests, please see http://users.rsise.anu.edu.au/~patrik/.
For a (mostly) correct and up-to-date list of publications, see http://users.rsise.anu.edu.au/~patrik/ or http://scholar.google.com.au/citations?user=XqbCCJIAAAAJ.
For current/past students, see https://cecs.anu.edu.au/people/patrik-haslum#tabs-0-middle-4 and/or http://users.rsise.anu.edu.au/~patrik/.
For a not-quite-complete list of research projects, see https://cecs.anu.edu.au/people/patrik-haslum#tabs-0-middle-2.
Available student projects
See the college web page.
Publications
- Allard, T, Gretton, C & Haslum, P 2018, 'A TIL-Relaxed Heuristic for Planning with Time Windows', 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), ed. Mathijs de Weerdt, Sven Koenig, Gabriele Röger, Matthijs T. J. Spaan, AAAI Press, Delft, The Netherlands, pp. 2-10.
- Haslum, P, Ivankovic, F, Ramirez, M et al 2018, 'Extending classical planning with state constraints: Heuristics and search for optimal planning', Journal of Artificial Intelligence Research, vol. 62, pp. 373-431pp.
- Yu, P, Williams, B, Fang, C et al 2017, 'Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation', Journal of Artificial Intelligence Research, vol. 60, pp. 425-490pp.
- Cui, J & Haslum, P 2017, 'Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty', 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), AAAI Press, AAAI Press, pp. 61-69pp.
- Werndl Trevizan, F, Thiebaux, S & Haslum, P 2017, 'Occupation Measure Heuristics for Probabilistic Planning', 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), AAAI Press, AAAI Press, pp. 306-315pp.
- Scala, E, Haslum, P, Magazzeni, D et al 2017, 'Landmarks for Numeric Planning Problems', Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17), ed. Carles Sierra, IIIA-CSIC, International Joint Conferences on Artificial Intelligence, Freiburg, pp. 4384-4390pp.
- Scala, E, Ramirez Javega, M, Haslum, P et al. 2016, 'Numeric Planning with Disjunctive Global Constraints via SMT', International Conference on Automated Planning and Scheduling (ICAPS 2016), ed. Coles A.,Edelkamp S.,Coles A.,Sanner S.,Magazzeni D., Association for the Advancement of Artificial Intelligence (AAAI), OnLine, pp. 276-284.
- Scala, E, Haslum, P, Thiebaux, S et al. 2016, 'Interval-Based Relaxation for General Numeric Planning', European Conference on Artificial Intelligence ECAI 2016, ed. G.A Kaminka, M. Fox, P. Bouquet, E. Hullermeier, IOS Press, US, pp. 655-663.
- Scala, E, Haslum, P & Thiebaux, S 2016, 'Heuristics for Numeric Planning via Subgoaling', International Joint Conference on Artificial Intelligence IJCAI 2016, ed. Subbarao Kambhampati, AAAI Press, Palo Alto, California, pp. 3228-3234.
- Daum, J, Torralba, A, Hoffmann, J et al 2016, 'Practical undoability checking via contingent planning', International Conference on Automated Planning and Scheduling (ICAPS 2016), ed. Coles A.,Edelkamp S.,Coles A.,Sanner S.,Magazzeni D., Association for the Advancement of Artificial Intelligence (AAAI), OnLine, pp. 106-114.
- Ivankovic, F & Haslum, P 2015, 'Optimal Planning with Axioms', International Joint Conference on Artificial Intelligence IJCAI 2015, ed. Qiang Yang, Michael Wooldridge, AAAI Press, Palo Alto, California, USA, pp. 1580-1586.
- Siddiqui, F & Haslum, P 2015, 'Continuing Plan Quality Optimisation', Journal of Artificial Intelligence Research, vol. 54, pp. 369-435.
- Cui, J, Yu, P, Fang, C, Haslum, P & Williams, B 2015, 'Optimising Bounds in Simple Temporal Networks with Uncertainty under Dynamic Controllability Constraints', 25th International Conference on Automated Planning and Scheduling, ICAPS 2015, ed. man R.Zilberstein S., AAAI Press, TBC, pp. 52-60.
- Karpas, E, Wang, D, Williams, B & Haslum, P 2015, 'Temporal landmarks: What must happen, and when', 25th International Conference on Automated Planning and Scheduling, ICAPS 2015, ed. man R.Zilberstein S., AAAI Press, TBC, pp. 138-146.
- Keyder, E, Hoffmann, J & Haslum, P 2014, 'Improving delete relaxation heuristics through explicitly represented conjunctions', Journal of Artificial Intelligence Research, vol. 50, pp. 487-533.
- Bonet, B, Haslum, P, Khomenko, V, Thiebaux, S & Vogler, W 2014, 'Recent advances in unfolding technique', Theoretical Computer Science, vol. 551, pp. 84-101.
- Helmert, M, Haslum, P, Hoffmann, J & Nissim, R 2014, 'Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces', Journal of the ACM, vol. 61, no. 3, pp. 16.1-16.63.
- Hoffmann, J, Steinmetz, M & Haslum, P 2014, 'What Does it Take to Render h+(Pi^C) Perfect?', ICAPS'14 Workshop on Heuristics and Search for Domain-Independent Planning, pp. 31-39.
- Ivankovic, F, Haslum, P, Thiebaux, S, Shivashankar, S & Nau, D 2014, 'Optimal Planning with Global Numerical State Constraints', 24th International Conference on Automated Planning and Scheduling 2014 (ICAPS), ed. S Chien, A Fern, W Ruml, M Do, American Association for Artificial Intelligence (AAAI) Press, USA, pp. 145-153.
- Haslum, P & Geffner, H 2001, 'Heuristic planning with time and resources', Sixth European Conference on Planning, pp. 107-112.
- Siddiqui, F & Haslum, P 2013, 'Plan quality optimisation via block decomposition', 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, AAAI Press, USA, pp. 2387-2393.
- Haslum, P 2013, 'Optimal Delete-Relaxed (and Semi-Relaxed) Planning with Conditional Effects', 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, AAAI Press, USA, pp. 2291-2297.
- Haslum, P 2013, 'Heuristics for Bounded-Cost Search', International Conference on Automated Planning and Scheduling (ICAPS 2013), ed. Daniel Borrajo, Subbarao Kambhampati, Angelo Oddi etc, AAAI Press, USA, pp. 312-316.
- Haslum, P, Helmert, M & Jonsson, A 2013, 'Safe, Strong and Tractable Relevance Analysis for Planning', International Conference on Automated Planning and Scheduling (ICAPS 2013), ed. Daniel Borrajo, Subbarao Kambhampati, Angelo Oddi etc, AAAI Press, USA, pp. 317-321.
- Haslum, P 2013, 'Propagation of PDDL3 Plan Constraints', Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS) Workshop, ed. M. Salido, R Bartak & F Rossi, pp. 16-23.
- Jimenez Celorrio, S, Haslum, P & Thiebaux, S 2013, 'Pruning bad quality causal links in sequential satisfying planning', ICAPS'13 Workshop on Planning and Learning, p. 45-52.
- Agrawal, V, Baier, J, Bekris, K et al 2012, 'Reports of the AAAI 2012 Conference Workshops', AI Magazine, vol. 33, no. 4, pp. 119-126.
- Siddiqui, F.H. and Haslum, P 2012, 'Block-structured plan deordering', Australasian Joint Conference on Artificial Intelligence (AI 2012), Sydney, NSW, pp. 803-814.
- Haslum, P 2012, 'Narrative Planning: Compilations to Classical Planning', Journal of Artificial Intelligence Research, vol. 44, no. 2012, pp. 383-395.
- Haslum, P. 2012, 'Incremental Lower Bounds for Additive Cost Planning Problems', International Conference on Automated Planning and Scheduling (ICAPS 2012), AAAI Press, pp. 74-82.
- Haslum, P, Slaney, J & Thiebaux, S 2012, 'Minimal Landmarks for Optimal Delete-Free Planning', International Conference on Automated Planning and Scheduling (ICAPS 2012), AAAI Press, pp. 353-357.
- Keyder, E, Hoffmann, J & Haslum, P 2012, 'Semi-relaxed plan heuristics', International Conference on Automated Planning and Scheduling (ICAPS 2012), AAAI Press, pp. 128-136.
- Grastien, A, Haslum, P & Thiebaux, S 2012, 'Conflict-Based Diagnosis of Discrete-Event Systems: Theory and Practice', International Conference on Principles of Knowledge Representation and reasoning, Rome.
- Bauer, A, Botea, A, Grastien, A et al. 2011, 'Alarm processing with model-based diagnosis of discrete event systems.', International Workshop on Principles of Diagnosis (DX 2011), Gesellschaft fur Informatik, Munich Germany, p. 8.
- Grastien, A, Haslum, P & Thiebaux, S 2011, 'Exhaustive Diagnosis of Discrete Event Systems through Exploration of the Hypothesis Space', International Workshop on Principles of Diagnosis (DX 2011), Gesellschaft fur Informatik, Munich Germany, p. 8.
- Banerjee, D & Haslum, P 2011, 'Partial-Order Support-Link Scheduling', International Conference on Automated Planning and Scheduling (ICAPS 2011), ed. Alan Fern, AAAI Press, Germany, p. 4.
- Haslum, P & Grastien, A 2011, 'Diagnosis As Planning: Two Case Studies', ICAPS'11 Planning and Scheduling Applications workshop.
- Haslum, P 2011, 'Computing Genome Edit Distances using Domain-Independent Planning', ICAPS'11 Planning and Scheduling Applications workshop.
- Bauer, A & Haslum, P 2010, 'LTL Goal Specifications Revisited', European Conference on Artificial Intelligence (ECAI 2010), ed. Helder Coelho, Rudi Studer, Michael Wooldridge, IOS Press, Amsterdam, p. 6.
- Fabre, E, Jezequel, L, Haslum, P, Thiebaux S, 2010, 'Cost-Optimal Factored Planning: Promises and Pitfalls', International Conference on Automated Planning and Scheduling (ICAPS 2010), AAAI Press, Toronto (Canada), p. 65-72.
- Doherty, P, Haslum, P, Heintz, F., Merz, T., Nyblom, P., Persson, T. and Wingman, B., "A distributed architecture for autonomous unmanned aerial vehicle experimentation". Distributed Autonomous Robotics 6 (symposium proceedings), 2004.
- Gerevini, A, Haslum, P, Long, D et al 2009, 'Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners', Artificial Intelligence, vol. 173, no. 5-6, pp. 619-668.
- Haslum, P 2009, 'h^m(P)= h^1(P^m): Alternative characterisations of the generalisation from h^max to h^mn', International conference on Automated planning and scheduling (ICAPS 2009), ed. Alfonso Gerevini, Adele Howe, Amedeo Cesta, Ioannis Refanidid, AAAI Press, California, pp. 1-4.
- Haslum, P 2008, 'A new approach to tractable planning', International Conference on Automated Planning and Scheduling (ICAPS 2008), ed. J. Rintanen, B. Nebel, J.C. Bech, E. Hansen, AAAI Press, Sydney, pp. 132-139.
- Bonet, B, Haslum, P, Hickmott, S Thiebaux 2008, 'Directed Unfolding of Petri Nets', in K. Jensen, W.M.P. van der Aalst, J. Billington (ed.), Transactions on Petri Nets and Other Models of Concurrency I, Springer, Berlin, Germany, pp. 172-198.
- Helmert, M, Haslum, P & Hoffmann, J 2007, 'Flexible abstraction heuristics for optimal sequential planning', International Conference on Automated Planning and Scheduling (ICAPS 2007), ed. M. Boddy, M. Fox, S. Thiebaux, AAAI Press, USA, pp. 176-183.
- Haslum, P 2007, 'Quality of solutions to IPC5 benchmark problems: Preliminary results', International Conference on Automated Planning and Scheduling (ICAPS 2007), ed. M. Boddy, M. Fox, S. Thiebaux, AAAI Press, USA, pp. 1-10.
- Haslum, P 2007, 'Reducing accidental complexity in planning problems', International Joint Conference on Artificial Intelligence (IJCAI 2007), ed. M.M. Veloso, Morgan Kaufmann Publishers, Inc., USA, pp. 1898-1903.
- Bonet, B, Haslum, P, Hickmott, S et al 2007, 'Directed unfolding of petri nets', Workshop on UnFOlding and Partial Order Techniques (UFO 2007), ed. Eric Fabre, Victor Khomenko, Publishing House of University of Podlasie, Poland, pp. 50-68.
- Haslum, P, Botea, A, Helmert, M et al 2007, 'Domain-independent construction of pattern database heuristics for cost-optimal planning', National Conference on Artificial Intelligence (AAAI 2007), ed. R.C. Holte, A.E. Howe, AAAI Press, Menlo Park, California USA, pp. 1007-1012.
- Haslum, P 2006, 'Improving Heuristics Through Relaxed Search - An Analysis of TP4 and HSP in the 2004 Planning Competition', Journal of Artificial Intelligence Research, vol. 25, pp. 233-267.
- Haslum, P, Bonet, B & Geffner, H 2005, 'New Admissible Heuristics for Domain-Independent Planning', American Association for Artificial Intelligence Conference 2005, ed. Conference Program Committee, AAAI Press, USA.
- Haslum, P 2005, 'Patterns in Reactive Programs', International Cognitive Robotics Workshop, ed. Patrick Doherty and et al, Conference Organising Committee, Spain, pp. 25-30.
Projects and Grants
Grants information is drawn from ARIES. To add or update Projects or Grants information please contact your College Research Office.
- On-line planning for constrained autonomous agents in an uncertain world (Primary Investigator)
- Robust AI Planning for Hybrid Systems (Secondary Investigator)