All Outputs (6)

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

Classifying document titles based on information inference. (2003)
Conference Proceeding
SONG, D., BRUZA, P., HUANG, Z. and LAU, R.Y.K. 2003. Classifying document titles based on information inference. In Zhong, N., Ras, Z.W., Tsumoto, S. and Suzuki, E. (eds.) Foundations of intelligent systems: proceedings of the 14th International symposium on methodologies for intelligent systems (ISMIS 2003), 28-31 October 2003, Maebashi City, Japan. Lecture notes in computer science, 2871. Berlin: Springer [online], pages 297-306. Available from: https://doi.org/10.1007/978-3-540-39592-8_41

We propose an intelligent document title classification agent based on a theory of information inference. The information is represented as vectorial spaces computed by a cognitively motivated model, namely Hyperspace Analogue to Language (HAL). A co... Read More about Classifying document titles based on information inference..

Back to the future: a logical framework for temporal information representation and inferencing from financial news. (2003)
Conference Proceeding
HUANG, Z., WONG, K.-F., LI, W., SONG, D. and BRUZA, P. 2003. Back to the future: a logical framework for temporal information representation and inferencing from financial news. In Zong, C. (ed.) Proceedings of the 2003 International conference on natural language processing and knowledge engineering (NLP-KE 2003), 26-29 October 2003, Beijing, China. New York: IEEE [online], article number 1275875, pages 95-101. Available from: https://doi.org/10.1109/NLPKE.2003.1275875

Temporal information carries information about changes and time of the changes. Consider a company investing in another company. The former may choose to inject the money gradually with the amount and frequency depending on the performance of the lat... Read More about Back to the future: a logical framework for temporal information representation and inferencing from financial news..