About the incremental validation of first-order stratified knowledge-based decision-support systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- A machine program for theorem-proving
- A theory of diagnosis from first principles
- Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings
- Boosting complete techniques thanks to local search methods
Cited in
(3)
This page was built for publication: About the incremental validation of first-order stratified knowledge-based decision-support systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1857059)