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)
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
Uses Software
Cites Work