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

Information Sciences

Volumn 142, Issue 1-4, 2002, Pages 117-129

  Grégoire, Éric ^a   Mazure, Bertrand ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

Knowledge bases; Logical consistency; Validation; Verification

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTATION THEORY; DECISION SUPPORT SYSTEMS;

KNOWLEDGE-BASED DECISION-SUPPORT SYSTEMS (KB);

KNOWLEDGE BASED SYSTEMS;

EID: 0036571159     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(02)00161-5     Document Type: Conference Paper

References (16)

1. Tabu search for SAT
2. Boosting complete techniques thanks to local search methods
3. Gsat: A new method for solving hard satisfiability problems
4. Local search strategies for satisfiability testing
5. Computational challenges in propositional reasoning and search
6. Validation of knowledge-based systems by means of stochastic search
7. Inconsistency management and prioritized syntax-based entailment
8. Combining nonmonotonic reasoning and belief revision: A practical approach
9. Handling inconsistency efficiently in the incremental construction of stratified belief bases
10. Preferred subtheories: An extended logical framework for default reasoning
11. A theory of diagnosis from first principles
12. Logically-complete local search for propositional nonmonotonic knowledge bases
13. Checking several forms of consistency in non-monotonic knowledge-bases
14. A machine program for theorem proving
15. System description: CRIL platform for SAT