Type-based Diagnosis of CLP Programs.

Wlodzimierz Drabent Jan Maluszynski Pawel Pietrzak

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

constraint logic programming
knowledge base
database
learning algorithm
information systems
fault diagnosis
medical diagnosis
model based diagnosis