Pages that link to "Item:Q3985546"
From MaRDI portal
The following pages link to Semantics and Consistency of Rule based Expert Systems (Q3985546):
Displaying 11 items.
- A formal method for analyzing and integrating the rule-sets of multiple experts (Q1198099) (← links)
- Knowledge base simulation in document databases (Q1387020) (← links)
- Learning rule base in linguistic expert systems (Q1403104) (← links)
- The non-definedness notion in expert systems (Q1818978) (← links)
- A formal model for verification of dynamic consistency of KBSs (Q1842811) (← links)
- Checking depth-limited consistency and inconsistency in knowledge-based systems (Q2738997) (← links)
- A semantical perspective on verification of knowledge (Q2778425) (← links)
- On rule systems whose consistency can be locally maintained (Q2876316) (← links)
- Konsistenzwerkzeuge für Prolog-Wissensbasen. (Consistency checking tools for Prolog knowledge bases) (Q3993518) (← links)
- (Q4473378) (← links)
- On the consistency of rule bases based on lattice-valued first-order logic LF(X) (Q5468834) (← links)