Rule validation based on logical deduction

Data model issues for object-oriented applications

ACM Transactions on Information Systems (TOIS)

Knowledge base verification

AI Magazine

A decision-table-used processor for checking completeness and consistency in rule-based expert systems

International Journal of Man-Machine Studies

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)

Semantic database modeling: survey, applications, and research issues

ACM Computing Surveys (CSUR)

Rule management and evaluation: an active DBMS perspective

ACM SIGMOD Record

K: a high-level knowledge base programming language for advanced database applications

SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data

The impact of logic programming on databases

Communications of the ACM

A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)

Logic and Databases: A Deductive Approach

ACM Computing Surveys (CSUR)

Software Verification and Validation: Realistic Project Approaches

Software Verification and Validation: Realistic Project Approaches

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies

Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies

A domain-independent system that aids in constructing knowledge-based consultation programs

A domain-independent system that aids in constructing knowledge-based consultation programs

Rule validation in object-oriented knowledge bases

Rule validation in object-oriented knowledge bases