PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS

DOI10.1080/03081070008960927zbMath0955.68104OpenAlexW2043178596WikidataQ126248589 ScholiaQ126248589MaRDI QIDQ4950604

Lakhdar Saïs, Éric Grégoire

Publication date: 18 February 2001

Published in: International Journal of General Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/03081070008960927

zbMATH Keywords

critical-tasks decision systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Walksat

Cites Work

• A theory of diagnosis from first principles
• A Computing Procedure for Quantification Theory

This page was built for publication: PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS