About the incremental validation of first-order stratified knowledge-based decision-support systems
From MaRDI portal
Publication:1857059
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)
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
Uses Software
Cites Work