Now showing items 1-3 of 3

  • Infusion: a hybrid reasoning system with description logics. 

    Hu, Bo; Compatangelo, Ernesto; Arana, Ines (ACTA Press http://www.actapress.com/Content_of_Proceeding.aspx?proceedingid=237, 2003)
    HU, B., COMPATANGELO, E. and ARANA, I., 2003. Infusion fusion: a hybrid reasoning system with description logics. Third IASTED International Conference on Artificial Intelligence and Applications. 8-10 September 2003. Benalmadena, Spain. Pp. 327-332.
    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 ...
  • Knowledge modelling for a generic refinement framework 

    Boswell, Robin; Craw, Susan (Elsevier http://dx.doi.org/10.1016/S0950-7051(99)00018-0, 1999-10)
    BOSWELL, R. and CRAW, S., 1999. Knowledge modelling for a generic refinement framework. Knowledge Based Systems, 12 (5-6), pp. 317-325
    Refinement tools assist with debugging the knowledge-based system (KBS), thus easing the well-known knowledge acquisition bottleneck, and the more recently recognised maintenance overhead. The existing refinement tools ...
  • Verification of redesign models: a CSP approach. 

    Arana, Ines; Ahriz, Hatem (Professional Engineering Publishing, 2001-08-21)
    ARANA, I. and AHRIZ, H. 2001. Verification of redesign models: a CSP approach. In the Proceedings of the 13th international conference on engineering design (ICED'01), 21-23 August 2001, Glasgow, UK. Glasgow: 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 ...