Pages that link to "Item:Q1193853"
From MaRDI portal
The following pages link to Truth maintenance systems and their application for verifying expert system knowledge bases (Q1193853):
Displaying 5 items.
- A generic ATMS (Q1125788) (← links)
- Truth maintenance systems. ECAI '90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings (Q1202063) (← links)
- Refinement of uncertain rule bases via reduction (Q1809358) (← links)
- Verification, validation, and integrity issues in expert and database systems: Two perspectives (Q2739003) (← links)
- (Q3126787) (← links)