Pages that link to "Item:Q733569"
From MaRDI portal
The following pages link to Methods and algorithms for verification of knowledge bases in integrated expert systems (Q733569):
Displaying 10 items.
- Problem-oriented knowledge bases and their application in the program verification system SPEKTR (Q1386947) (← links)
- The use of mathematical programming to verify rule-based knowledge (Q1815834) (← links)
- The correctness of a knowledge representation model for decision-support expert systems (Q1901544) (← links)
- Verification of rule knowledge bases using decision units (Q2729698) (← links)
- Verification of multiple agent knowledge-based systems (Q2738999) (← links)
- Verification, validation, and integrity issues in expert and database systems: Two perspectives (Q2739003) (← links)
- (Q3126787) (← links)
- (Q3623852) (← links)
- Verification of Uncertain Knowledge-Based Systems: An Empirical Verification Approach (Q4361486) (← links)
- (Q4473378) (← links)