Mechanising shared configuration and diagnosis theories through constraint logic programming

Configuration and diagnosis problem-solvers are commonly championed as successes of applied artificial intelligence techniques. A common problem is that problem-solvers typically encode task-specific representation assumptions and simplifications in their domain theories, hindering the reuse of the...

Full description

Bibliographic Details

Published in:	The journal of logic programming Vol. 37; no. 1; pp. 255 - 283
Main Authors:	Sharma, Nirad, Colomb, Robert
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.10.1998
Subjects:	Consistency-based diagnosis Constraint logic programming Constraint-based configuration Knowledge representation Consistency-based diagnosis Constraint-based configuration Constraint logic programming Knowledge representation
ISSN:	0743-1066, 1873-5789
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!