Dr Miquel Ramirez Javega

  • Room: Level: 06 Room: 17
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

  • Automated Planning & Optimization (planning, optimization, search)
  • Hybrid Systems Design & Verification (control, optimization, verification)
  • Intention and Plan Recognition (knowledge engineering, planning, cognitive science)
  • Reinforcement Learning (optimization, machine learning, search)

Personal webpage

https://www.linkedin.com/in/miguelramirezjavega

Recent publications

  1. Aineto, D.; Jimenez, S.; Onaindia, E.; Ramirez Javega, M. Model Recognition as Planning. Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019). The AAAI Press. 2019, pp. 13-21.
  2. Ramirez Javega, M.; Frances, G. Tarski: a framework for modeling planning problems. . Self-Published. 2018.
  3. Ramirez Javega, M.; Papasimeon, M.; Benke, L.; Lipovetzky, N.; Miller, T.; Pearce, A. Real-Time UAV Maneuvering via Automated Planning in Simulations. IJCAI International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence. 2017, pp. 5248-5255.
  4. Scala, E.; Haslum, P.; Thiebaux, S.; Ramirez, M. Interval-Based Relaxation for General Numeric Planning. European Conference on Artificial Intelligence. IOS PRESS. 2016, Vol. 285, pp. 655-663. DOI: 10.3233/978-1-61499-672-9-655
  5. Balbo, AL.; Rubio-campillo, X.; Rondelli, B.; Ramirez, M.; Lancelotti, C.; Torrano, A.; Salpeteur, M.; Lipovetzky, N.; Reyes-garcia, V.; Montanola, C.; Madella, M. Agent-Based Simulation of Holocene Monsoon Precipitation Patterns and Hunter-Gatherer Population Dynamics in Semi-arid Environments. Journal of Archaeological Method and Theory. SPRINGER. 2014, Vol. 21, Issue 2, pp. 426-446. DOI: 10.1007/s10816-014-9203-1
  6. Ramirez, M.; Geffner, H. Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners. Proceedings of the Conference of the Association for the Advancement of Artificial Intelligence (AAAI 2010). ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. 2010, Vol. 2, pp. 1121-1126.
  7. Ramirez, M.; Geffner, H. Plan Recognition as Planning. Proceedings of the 21st international joint conference on Artifical intelligence. Morgan Kaufmann Publishers Inc. IJCAI-INT JOINT CONF ARTIF INTELL. 2009, pp. 1778-1783.
  8. Ramirez, M.; Geffner, H. Structural relaxations by variable renaming and their compilation for solving MinCostSAT. International conference on principles and practice of constraint programming. SPRINGER-VERLAG BERLIN. 2007, Vol. 4741, pp. 605-+.