Skip to main content

Research Repository

Advanced Search

All Outputs (4)

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

Inference fusion: a hybrid approach to taxonomic reasoning. (2003)
Conference Proceeding
HU, B., COMPATANGELO, E. and ARANA, I. 2003. Inference fusion: a hybrid approach to taxonomic reasoning. In Russell, I. and Haller, S. (eds.) Proceedings of the 16th International conference of the Florida Artificial Intelligence Research Society (FLAIRS 2003), 12-14 May 2003, St. Augustine, USA. Palo Alto: AAAI Press [online], pages 103-107. Available from: https://aaai.org/Papers/FLAIRS/2003/Flairs03-021.pdf

We present a hybrid way to extend taxonomic reasoning using inference fusion, i.e. the dynamic combination of inferences from distributed heterogeneous reasoners. Our approach integrates results from a DL-based taxonomic reasoner with results from a... Read More about Inference fusion: a hybrid approach to taxonomic reasoning..

Facilitating DL-based hybrid reasoning with inference fusion. (2003)
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..

Infusion: a hybrid reasoning system with description logics. (2003)
Conference Proceeding
HU, B., COMPATANGELO, E. and ARANA, I. 2003. Infusion: a hybrid reasoning system with description logics. In Hamza, M.H. (ed.) Proceedings of the 2003 International Association of Science and Technology for Development (IASTED) international conference on artificial intelligence and applications (AIA 2003), 8-10 September 2003, Benalmadena, Spain. Calgary: ACTA Press [online], pages 327-332. Available from: http://www.actapress.com/Content_of_Proceeding.aspx?proceedingID=237

We discussed a new approach using inference fusion, i.e. the cooperative reasoning from distributed heterogeneous inference systems, to extend the expressive and deductive powers of existing Description Logic (DL) based systems. More specifically, ou... Read More about Infusion: a hybrid reasoning system with description logics..