Profile

Ines Arana
Title: Dr
First Name: Ines
Surname: Arana
Position: Senior Lecturer
Telephone: 01224 262716
Email:

Key Duties and Responsibilities

  • Postgraduate Programme Leader for the School of Computing
  • School of Computing Management Group member
  • Teaching: Intelligent Web Technologies, Data Mining, Databases, Object-Oriented Programming
  • Subject leader for the Databases and Intelligent Systems Group
  • Member of the IDEAS research institute.
  • Management team member for the Postgraduate Certificate in Research Methods
  • Supervision of PhD projects

Academic Background

Inés graduated with a BSc (Hons) in Computer Science (University of the Basque Country). She then completed an MSc in Applied Artificial Intelligence (Aberdeen University) and a PhD (Aberdeen University).

Research Interests / Professional Background

Inés is interested in the development and application of Artificial Intelligence (AI) techniques to complex problems. Her work focuses on:

  • The modelling and solving of (distributed) constraint satisfaction problems. Constraint satisfaction is a powerful and successful set of AI technologies that solves problems which can be expressed by a set of variables (and their possible values) and a set of constraints which restrict the values variables can take simultaneously. It is widely used to solve challenging problems such as scheduling, staff rostering and resource allocation. Distributed Constraint Satisfaction Problems (DisCSPs) is an emerging area of constraint programming where the problem is naturally distributed amongst several locations and cannot be solved in a centralised manner due to resource, privacy and security issues. Thus, the problem consists of a set of related sub-problems, each of which is solved by an agent. Agents communicate with each other in order to ensure that their sub-solutions are compatible so that sub-solutions can be combined in order to obtain a global solution. The fast-growing use of the internet, intranet and virtual organisations and the ever-increasing amount of information accessible through them has brought a demand for more sophisticated constraint satisfaction services which can help exploit these information resources in both static and dynamic environments.
  • The application of AI techniques to real-world complex problems such as sensor networks and staff rostering.

Professional Body Membership

  • Educational Affiliate Member of the British Computer Society

Key Publications

  1. Arana, I, Ahriz, H, Basharu, M, Solving Coarse-Grained DisCSPs with Local Search. Web Intelligence and Agent Systems - An International Journal, IOS Press, 2010, Vol 8, No 4, 363-376.
  2. Lee, D, Arana, I, Ahriz, H, Hui, K, Multi-HDCS: Solving DisCSPs with Complex Local Problems Cooperatively. In Proceedings of IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (IAT2010). 31 August-3 September 2010, Toronto, Canada. pp. 295-302.
  3. Lee, D, Arana, I, Ahriz & H, Hui, K, A Hybrid Approach to Solving Coarse-grained DisCSPs. In Proceedings of the Eighth International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 09), Budapest, Hungary, 1235-1236, 10-15 May 2009.
  4. Omomowo, B., Arana, I & Ahriz, H, DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs. In Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA), Varna, Bulgaria, 4-6 September 2008. Lecture Notes in Computer Science. Springer, ISBN 978-3-540-85775-4, Volume 5253/2008, DOI 10.1007/978-3-540-85776-1_24, pp. 285-296.
  5. Lee, D, Arana, I, Ahriz, H, & Hui, K, A Hybrid Approach to Distributed Constraint Satisfaction. In Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA), Varna, Bulgaria, 4-6 September 2008. Lecture Notes in Computer Science. Springer, ISBN 978-3-540-85775-4, Volume 5253/2008, DOI 10.1007/978-3-540-85776-1_33, pp. 375-379.
  6. Basharu, M, Arana, I, & Ahriz, H (2007). Solving coarse-grained DisCSPs with Multi-DisPeL and DisBO-wd. IEEE/ACM International Conference on Intelligent Agent Technology, IAT2007, California, USA , 335-341, 2-5 November 2007. DOI 10.1109/IAT.2007.68.
  7. Basharu, M, Arana, I, & Ahriz, H (2007). Escaping Local Optima: Constraint Weights vs. Value Penalties. In: Bramer, M., Coenen, F. and Petridis, M. (eds.), Research and Development in Intelligent Systems XXIV, Springer-Verlag, 2007, pp. 51-64. ISBN 978-1-84800-093-3.
  8. Basharu, M, Arana, I, & Ahriz, H (2007). DisBO-wd: a distributed constraint satisfaction algorithm for coarse-grained distributed problems. In: Bramer, M., Coenen, F. and Petridis, M. (eds.), Research and Development in Intelligent Systems XXIV, Springer-Verlag, 2007, pp. 23-36. ISBN 978-1-84800-093-3.
  9. Basharu, M, Arana, I, & Ahriz, H (2006). Stoch-DisPeL: Exploiting Randomisation in DisPeL. 7th International Workshop on Distributed Constraint Reasoning, DCR2006, 117-131, Hakodate, Japan , 8 May 2006.
  10. Basharu, M, Arana, I, & Ahriz, H (2005). Escaping Local Optima with Penalties in Distributed iterative Improvement Search. IJCAI-05 Workshop on Distributed Reasoning, DCR2005 , 192-206, on 30 July 2005.
  11. Basharu, M., Arana, I., & Ahriz, H. (2005). Solving DisCSPs with Penalty-Driven Search. AAAI 2005 - the Twentieth National Conference of Artificial Intelligence , 47-52, Pittsburgh, Pennsylvania, on 9-11 July. AAAI Press.
  12. Basharu, M., Arana, I., & Ahriz, H. (2005). Distributed guided local search for solving binary DisCSPs. Proceedings of the 18th FLAIRS Conference , 660-665, on 15-17 May, AAAI Press.
  13. Basharu, M., Ahriz, H., & Arana, I. (2003). Escaping Local Optima in Multi-Agent Oriented Constraint Satisfaction. Proceedings of the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence ,97-110, December,Cambridge. Springer-Verlag.
  14. Hu, B, Arana, I, & E, C. (2003). Facilitating DL-based hybrid reasoning with inference fusion. In Knowledge Based Systems, Elsevier , Vol 16(5-6), 253-260.
  15. Hu, B., Arana, I., & Compatangelo, E. (2003). Inference Fusion: a hybrid approach to taxonomic reasoning. In proceedings of 16th International FLAIRS conference, 103-107, AAAI Press.
  16. Hu, B., Compatangelo, E., & Arana, I. (2003). Infusion: a hybrid reasoning system with Description Logics. 21st International conference on Artificial Intelligence and Applications (AIA2003), 327-332. ACTA Press.
  17. Renker, G., Ahriz, H., & Arana, I. S. (2003). A Synergy of Modelling for Constraint Problems. Knowledge-Based Intelligent Information and Engineering Systems; 7th International Conference, KES 2003; Oxford, UK, September 3-5, Oxford.
  18. Ahriz, H., & Arana, I. (2002). A methodology for the elicitation of redesign knowledge. In E. Damiani, R. J. Howlett, L. C. Jain, and N. Ichalkaranje, editors, Proceedings of the Sixth International Conference on Knowledge-Based Intelligent Information & Engineering Systems, pages 189-193, Podere d'Ombriano, Crema, Italy, 16-18 September 2002.IOS Press.
  19. Hu, B., Arana, I., & Compatangelo, E. (2002). Facilitating DL-based Hybrid Reasoning with Inference Fusion. In Proceedings of the Twenty-second Annual International Conference of the British Computer Society Specialist Group on Artificial Intelligence, pages 91-104, Cambridge, UK, December 2002. Springer-Verlag.
  20. Hu, B., Compatangelo, E., & Arana, I. (2002). Coordinated reasoning with inference fusion. In E. Damiani, R. J. Howlett, L. C. Jain, and N. Ichalkaranje, editors, Proceedings of the Sixth International Conference on Knowledge-Based Intelligent Information & Engineering Systems, pages 156-160, Podere d'Ombriano, Crema, Italy, 16-18 September
    2002. IOS Press.
  21. Renker, G., Ahriz, H., & Arana, I. S. (2002). CSP - There is more than one way to model it. In Proceedings of the Twenty-second Annual International Conference of the British Computer Society Specialist Group on Artificial Intelligence, pages 395-408, Cambridge, UK, December 2002. Springer-Verlag.
  22. Arana, I., & Ahriz, H. (2001). Verification of Redesign Models: a CSP Approach. In Proceedings of the Thirteenth International Conference on Engineering Design: Design Methods For Performance and Sustainability, pages 283-290, Glasgow, United Kingdom, 21-23 August 2001. Professional Engineering Publishing.
  23. Hu, B, Compatangelo, E & Arana, I. A hybrid approach to extend DL-based reasoning with concrete domains. In G. Gorz, V. Haarslev, C. Lutz, and R. Moller, editors, KI-2001: Proceedings of the Workshop on Applications of Description Logics, Vienna, Austria, 18 September 2001. CEUR Workshop Proceedings Vol-44, http://ceur-ws.org.
  24. Arana, I, Ahriz, H, & Fothergill, P. Re-design knowledge analysis, representation and re-use. In Industrial Knowledge Management - A Micro Level Approach, pages 139-146. Springer-Verlag, 2000.
  25. Ahriz, H, Arana, I, & Fothergill, P. Using constraints in modelling for re-design. In Proceedings of the Second International ICSC Symposium on Engineering Of Intelligent Systems (EIS'2000), pages 314-319, Paisley, Scotland, 2000.
  26. Arana, I, Ahriz, H, & Fothergill, P. Improving re-design support. In Proceedings of the Fifth World Conference on Integrated Design and Process Technology (IDPT2000), Dallas, TX, 2000. 8 pages (CD-Rom).