Stratification and knowledge base management

DOI10.1016/S0747-7171(89)80031-8MaRDI QIDQ1122994zbMATH OpenFDO

Authors Catherine Lassez, Graeme Port, Kenneth McAloon

Publication date 1989

Published in Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

computational complexitystratificationinteractive knowledge base maintainance systemlinear time stratification algorithm

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Information storage and retrieval of data (68P20) Analysis of algorithms and problem complexity (68Q25) Artificial intelligence (68T99)

Recommendations

• On the impact of stratification on the complexity of nonmonotonic reasoning
• scientific article; zbMATH DE number 2043397
• scientific article; zbMATH DE number 4199653
• View updates in stratified disjunctive databases
• scientific article; zbMATH DE number 2079046

Cites work

• scientific article; zbMATH DE number 4199654 (Why is no real title available?)
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 3566230 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 3328721 (Why is no real title available?)
• scientific article; zbMATH DE number 4185010 (Why is no real title available?)
• A Computing Procedure for Quantification Theory
• Complete problems for deterministic polynomial time
• Depth-First Search and Linear Graph Algorithms
• Horn clause queries and generalizations
• Integrity constraint checking in stratified databases
• Linear-time algorithms for testing the satisfiability of propositional horn formulae

Cited in

(3)

• About the incremental validation of first-order stratified knowledge-based decision-support systems
• On stratified belief base compilation
• Knowledge Base Stratification and Merging Based on Degree of Support

This page was built for publication: Stratification and knowledge base management

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1122994)