About the incremental validation of first-order stratified knowledge-based decision-support systems

DOI10.1016/S0020-0255(02)00161-5zbMath1033.68106MaRDI QIDQ1857059

Bertrand Mazure, Éric Grégoire

Publication date: 11 February 2003

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

verificationvalidationknowledge baseslogical consistency

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (1)

Manufacturing knowledge verification in design support systems

Uses Software

• Walksat

Cites Work

• Unnamed Item
• A theory of diagnosis from first principles
• Boosting complete techniques thanks to local search methods
• Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings
• A machine program for theorem-proving

This page was built for publication: About the incremental validation of first-order stratified knowledge-based decision-support systems