scientific article; zbMATH DE number 4160165

zbMATH Open0706.68088MaRDI QIDQ3486879FDOQ3486879

Authors: Hiroshi Sakai 

Publication date: 1990

Title of this publication is not available (Why is that?)

Recommendations

• Completeness of hyper-resolution via the semantics of disjunctive logic programs
• Completeness guarantees for incomplete ontology reasoners: theory and practice
• \(\mho\)-resolution and hybrid knowledge bases
• Structural completeness in relevance logics
• scientific article; zbMATH DE number 3958704
• scientific article; zbMATH DE number 1302496
• Formalizing incomplete knowledge in incomplete databases
• On the completeness of compositional reasoning methods
• Semantic representations and query languages for or-sets

zbMATH Keywords

resolutioncompletenessdeductionrefutationor-type knowledge bases

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

This page was built for publication:

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