Pages that link to "Item:Q805270"
From MaRDI portal
The following pages link to Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques (Q805270):
Displaying 5 items.
- Learning in order to avoid search in logic programming (Q805265) (← links)
- Sequential testing of complex systems: a review (Q1878412) (← links)
- Mechanising shared configuration and diagnosis theories through constraint logic programming (Q4245944) (← links)
- Diagnostic reasoning with A-Prolog (Q4815029) (← links)
- Design and implementation of diagnostic strategies using modal logic (Q5235256) (← links)