Abstract
No public abstract is available from the verified source records.
Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructurePaul Leemans, Jan Treur A, Mark Willems
Abstract
Authors
Institutions
Provenance
crossref
Confidence 100%
openalex
Confidence 95%
unpaywall
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
Verification and correctness issues for nonmonotonic knowledge bases
10.1002/(sici)1098-111x(199710)12:10<725::aid-int2>3.0.co;2-# · 1997
Unresolved referenced work
Kept as external metadata until matched
Principles of compositional multi-agent system development
2001
Unresolved referenced work
1973
Compositional verification of knowledge-based systems: a case study in diagnostic reasoning
1997
A decision-table-based processor for checking completeness and consistency in rule based expert systems
10.1016/s0020-7373(87)80076-7 · 1987
Judging knowledge base quality
1991
Inverse verification of problem solving methods
10.1006/ijhc.1998.0210 · 1998
Formally verifying dynamic properties of KBS
1999
Consistencey, soundness and completeness of a diagnostic system
1991
Unresolved referenced work
1966
Unresolved referenced work
1998
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
1988
Modeling in the design of a KBS validation system
10.1002/int.4550060706 · 1991
Detection of potential inconsistencies in knowledge bases
10.1002/int.4550070202 · 1992
Completeness verification of rule-based control systems
1996
Verification of qualitative properties of rule-based expert systems
1995
Completeness and consistency in knowledge based systems
1986
Incremental verification of rule-based expert systems
1992
Verification of multi-level rule-based expert systems: theory and practice
1993
Unresolved referenced work
Kept as external metadata until matched
Issues in the verification of knowledge in rule-based systems
10.1016/s0020-7373(89)80002-1 · 1989
Verifying consistency of production systems
1987
Checking an expert system knowledge base for consistency and completeness
1985
Knowledge base verification
1987
A new approach to detecting missing knowledge in expert system rule bases
10.1006/imms.1993.1031 · 1993
Structure-based validation of rule-based systems
10.1016/s0169-023x(97)00019-0 · 1998
Verifying knowledge bases by anomaly detection: an experience report
1992
Evaluation of verification tools for knowledge-based systems
10.1006/ijhc.1997.0152 · 1997
10.1111/j.1467-8640.1988.tb00119.x
10.1111/j.1467-8640.1988.tb00119.x
Completeness and consistency in a rule based system
1985
An approach to verifying completeness and consistency in a rule based expert system
1982
Completeness and definability in diagnostic expert systems
1988
Heuristic reasoning and relative incompleteness
10.1016/s0888-613x(05)80005-2 · 1993
Declarative functionality descriptions of interactive reasoning modules
1991
A logical foundation for verification
1994
Verification and validation of knowledge-based systems
10.1109/69.755629 · 1999
Prolegomena to a theory of mechanized formal reasoning
10.1016/0004-3702(80)90015-6 · 1980
No additional external references are available.