An Algebraic Approach to Refinement of KBS Specification

Anca I. Vermesan, Sigurd Meldal. An Algebraic Approach to Refinement of KBS Specification. In Marc Ayel, Marie-Christine Rousset, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 95, Chambéry, June 1995. pages 265-276, ADERIAS-LIA, Universite de Savoie, 1995.

Abstract

Abstract is missing.