Skip to main content

Research Repository

Advanced Search

All Outputs (6)

Escaping local optima in multi-agent oriented constraint satisfaction. (2004)
Conference Proceeding
BASHARU, M., AHRIZ, H. and ARANA, I. 2004. Escaping local optima in multi-agent oriented constraint satisfaction. In Coenen, F., Preece, A. and Macintosh, A. (eds.) Research and development in intelligent systems XX: technical proceedings of the 23rd Annual international conference of the British Computer Society's Specialist Group on Artificial Intelligence (SGAI) (AI-2003), 15-17 December 2003, Cambridge, UK. London: Springer [online], pages 97-110. Available from: https://doi.org/10.1007/978-0-85729-412-8_8

We present a multi-agent approach to constraint satisfaction where feedback and reinforcement are used in order to avoid local optima and, consequently, to improve the overall solution. Our approach, FeReRA, is based on the fact that an agents local... Read More about Escaping local optima in multi-agent oriented constraint satisfaction..

Building models through formal specification. (2004)
Conference Proceeding
RENKER, G. and AHRIZ, H. 2004. Building models through formal specification. In RĂ©gin, J.-C. and Rueher, M. (eds.) Integration of AI and OR techniques in constraint programming for combinatorial optimization problems: proceedings of the 1st International conference on integration of artificial intelligence and operations research techniques in constraint programming (CPAIOR 2004), 20-22 April 2004, Nice, France. Lecture notes in computer science, 3011. Berlin: Springer [online], pages 395-401. Available from: https://doi.org/10.1007/978-3-540-24664-0_29

Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the complexity of building models for constraint and optimisation problems, we have a... Read More about Building models through formal specification..

Computer aided sustainable design. (2004)
Conference Proceeding
BENNADJI, A., AHRIZ, H. and ALASTAIR, P. 2005. Computer aided sustainable design. In Proceedings of the 1st International Arab Society for Computer Aided Architecrual Design (ASCAAD) conference on computer aided architectural design(ASCAAD 2005); e-design in architecure, 22-24 February 2005, Dhahran, Saudi Arabia. Dhahran: ASCAAD [online], pages 125-135. Available from: http://www.ascaad.org/conference/2004/proceedings.php

One of the most important aspects architects need to consider fairly early on is that of energy saving, cost, thermal comfort and the effect on the environment in terms of CO2 emissions. At present, during the early design stage of a building, differ... Read More about Computer aided sustainable design..

Concept learning and information inferencing on a high-dimensional semantic space. (2004)
Presentation / Conference
SONG, D., BRUZA, P. and COLE, R. 2004. Concept learning and information inferencing on a high-dimensional semantic space. Presented at the 2004 Association of Computing Machinery Special Interest Group on Information Retrieval (ACM SIGIR) workshop on mathematical/formal methods in information retrieval (MF/IR 2004), 25-29 July 2004, Sheffield, UK.

How to automatically capture a significant portion of relevant background knowledge and keep it up-to-date has been a challenging problem encountered in current research on logic based information retrieval. This paper addresses this problem by inves... Read More about Concept learning and information inferencing on a high-dimensional semantic space..

Case-based reasoning for matching SMARTHOUSE technology to people's needs. (2004)
Journal Article
WIRATUNGA, N., CRAW, TAYLOR, B. and DAVIS, G. 2004. Case-based reasoning for matching SMARTHOUSE technology to people's needs. Knowledge-based systems [online], 17 (2-4), pages 139-146. Available from: https://doi.org/10.1016/j.knosys.2004.03.009

SMARTHOUSE technology offers devices that help the elderly and people with disabilities to live independently in their homes. This paper presents our experiences from a pilot project applying case-based reasoning techniques to match the needs of the... Read More about Case-based reasoning for matching SMARTHOUSE technology to people's needs..

Abduction in semantic space: towards a logic of discovery. (2004)
Journal Article
BRUZA, P., SONG, D. and MCARTHUR, R. 2004. Abduction in semantic space: towards a logic of discovery. Logic journal of the IGPL [online], 12(2), pages 97-109. Available from: https://doi.org/10.1093/jigpal/12.2.97

Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals are becoming ever more insular. This paper considers how awareness can be enhanced via abductive knowledge discovery t... Read More about Abduction in semantic space: towards a logic of discovery..