Publication | Closed Access
Protocols for Consistency Checking in Expert System Knowledge Bases.
11
Citations
0
References
1988
Year
Knowledge BaseKnowledge RepresentationData ConsistencyEngineeringAutomated ReasoningVerificationFormal MethodsComputer ScienceFormal VerificationConsistency Checking
No additional data available for this publication yet. Check back later!