Skip to main content

Research Repository

Advanced Search

A methodology for the elicitation of redesign knowledge. (2002)
Conference Proceeding
AHRIZ, H. and ARANA, I. 2002. A methodology for the elicitation of redesign knowledge. In Damiani, E., Howlett, R.J., Jain, L.C. and Ichalkaranje, N. (eds.) Knowledge-based intelligent information engineering systems and allied technologies: proceedings of the 6th International conference on knowledge-based intelligent information and engineering systems (KES 2002), 16-18 September 2002, Crema, Italy. Frontiers in artificial intelligence and applications, 82. Amsterdam: IOS Press.

We present MADAM, a methodology which allows the elicitation, capture, analysis and management of redesign knowledge. This area is characterised by the high reusability of problem solutions and is represented using three views: physical, functional a... Read More about A methodology for the elicitation of redesign knowledge..

Coordinated reasoning with inference fusion. (2002)
Conference Proceeding
HU, B., COMPATANGELO, E. and ARANA, I. 2002. Coordinated reasoning with inference fusion. In Damiani, E., Howlett, R.J., Jain, L.C. and Ichalkaranje, N. (eds.) Knowledge-based intelligent information engineering systems and allied technologies: proceedings of the 6th International conference on knowledge-based intelligent information and engineering systems (KES 2002), 16-18 September 2002, Crema, Italy. Frontiers in artificial intelligence and applications, 82. Amsterdam: IOS Press, pages 156-160.

We discuss a new approach which uses inference fusion, i.e. the cooperative reasoning from distributed heterogeneous inference systems, in order to extend the scope of deductions based on description logics. More specifically, our approach integrates... Read More about Coordinated reasoning with inference fusion..

Facilitating DL-based hybrid reasoning with inference fusion. (2002)
Conference Proceeding
HU, B., ARANA, I. and COMPATANGELO, E. 2003. Facilitating DL-based hybrid reasoning with inference fusion. In Bramer, M., Preece, A. and Coenen, F. (eds.) Research and development in intelligent systems XIX: proceedings of the 22nd British Computer Society's Specialist Group on Artificial Intelligence (SGAI) international conference on knowledge based systems and applied artificial intelligence (ES2002), 10-12 December 2002, Cambridge, UK. London: Springer [online], pages 91-104. Available from: https://doi.org/10.1007/978-1-4471-0651-7_7

We present an extension to DL-based taxonomic reasoning by means of the proposed inference fusion, i.e. the dynamic combination of inferences from distributed heterogeneous reasoners. Our approach integrates results from a DL-based system with result... Read More about Facilitating DL-based hybrid reasoning with inference fusion..

CSP: there is more than one way to model it. (2002)
Conference Proceeding
RENKER, G., AHRIZ, H. and ARANA, I. 2003. CSP: there is more than one way to model it. In Bramer, M., Preece, A. and Coenen, F. (eds.) Research and development in intelligent systems XIX: proceedings of the 22nd British Computer Society's Specialist Group on Artificial Intelligence (SGAI) international conference on knowledge based systems and applied artificial intelligence (ES2002), 10-12 December 2002, Cambridge, UK. London: Springer [online], pages 395-408. Available from: https://doi.org/10.1007/978-1-4471-0651-7_28

In this paper, we present an approach for conceptual modelling of con- straint satisfaction problems (CSP). The main objective is to achieve a similarly high degree of modelling support for constraint problems as it is already available in other disc... Read More about CSP: there is more than one way to model it..


;