Research graph
References from A semantical perspective on verification of knowledge. Local targets link to admitted publications; unresolved targets remain external evidence.
Verification and correctness issues for nonmonotonic knowledge bases
10.1002/(sici)1098-111x(199710)12:10<725::aid-int2>3.0.co;2-# · 1997 · External reference
Unresolved reference
External reference
Principles of compositional multi-agent system development
2001 · External reference
Unresolved reference
1973 · External reference
Compositional verification of knowledge-based systems: a case study in diagnostic reasoning
1997 · External reference
A decision-table-based processor for checking completeness and consistency in rule based expert systems
10.1016/s0020-7373(87)80076-7 · 1987 · External reference
Judging knowledge base quality
1991 · External reference
Inverse verification of problem solving methods
10.1006/ijhc.1998.0210 · 1998 · External reference
Formally verifying dynamic properties of KBS
1999 · External reference
Consistencey, soundness and completeness of a diagnostic system
1991 · External reference
Unresolved reference
1966 · External reference
Unresolved reference
1998 · External reference
Unresolved reference
External reference
Unresolved reference
1988 · External reference
Modeling in the design of a KBS validation system
10.1002/int.4550060706 · 1991 · External reference
Detection of potential inconsistencies in knowledge bases
10.1002/int.4550070202 · 1992 · External reference
Completeness verification of rule-based control systems
1996 · External reference
Verification of qualitative properties of rule-based expert systems
1995 · External reference
Completeness and consistency in knowledge based systems
1986 · External reference
Incremental verification of rule-based expert systems
1992 · External reference
Verification of multi-level rule-based expert systems: theory and practice
1993 · External reference
Unresolved reference
External reference
Issues in the verification of knowledge in rule-based systems
10.1016/s0020-7373(89)80002-1 · 1989 · External reference
Verifying consistency of production systems
1987 · External reference
Checking an expert system knowledge base for consistency and completeness
1985 · External reference
Knowledge base verification
1987 · External reference
A new approach to detecting missing knowledge in expert system rule bases
10.1006/imms.1993.1031 · 1993 · External reference
Structure-based validation of rule-based systems
10.1016/s0169-023x(97)00019-0 · 1998 · External reference
Verifying knowledge bases by anomaly detection: an experience report
1992 · External reference
Evaluation of verification tools for knowledge-based systems
10.1006/ijhc.1997.0152 · 1997 · External reference
10.1111/j.1467-8640.1988.tb00119.x
10.1111/j.1467-8640.1988.tb00119.x · External reference
Completeness and consistency in a rule based system
1985 · External reference
An approach to verifying completeness and consistency in a rule based expert system
1982 · External reference
Completeness and definability in diagnostic expert systems
1988 · External reference
Heuristic reasoning and relative incompleteness
10.1016/s0888-613x(05)80005-2 · 1993 · External reference
Declarative functionality descriptions of interactive reasoning modules
1991 · External reference
A logical foundation for verification
1994 · External reference
Verification and validation of knowledge-based systems
10.1109/69.755629 · 1999 · External reference
Prolegomena to a theory of mechanized formal reasoning
10.1016/0004-3702(80)90015-6 · 1980 · External reference
