All Outputs (25)

CSP: there is more than one way to model it. (2003)
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..

Facilitating DL-based hybrid reasoning with inference fusion. (2003)
Journal Article
HU, B., ARANA, I. and COMPATANGELO, E. 2003. Facilitating DL-based hybrid reasoning with inference fusion. Knowledge-based systems [online], 16(5-6): proceedings of the 22nd British Computer Society Specialist Group on Artificial Intelligence (SGAI) international conference on knowledge-based systems and applied artificial intelligence (ES2002), 10-12 December 2002, Cambridge, UK, pages 253-260. Available from: https://doi.org/10.1016/S0950-7051(03)00026-1

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

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..

Verification of redesign models: a CSP approach. (2001)
Conference Proceeding
ARANA, I. and AHRIZ, H. 2001. Verification of redesign models: a CSP approach. In Culley, S. (ed.) Proceedings of the 13th International conference on engineering design (ICED'01), 21-23 August 2001, Glasgow, UK. Zurich: Professional Engineering Publishing, pages 283-290.

One of the initial stages in the manufacturing of an article is the production of a design which satisfies a set of user requirements. Much of the design work carried out in manufacturing companies can be classified as redesign, i.e. producing a new... Read More about Verification of redesign models: a CSP approach..