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

verification; validation; knowledge bases; logical consistency

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)

Related Items

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