Verifying Context-Dependent Reduction Relations for Knowledge Specifications

DOI10.1007/978-3-642-11819-7_5MaRDI QIDQ4932615zbMATH OpenOpenAlexFDO

Authors Alexei Sharpanskykh, Jan Treur

Publication date 6 October 2010

Published in Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11819-7_5

zbMATH Keywords

automated mapping of specificationscognitive sciencereduction relations

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Knowledge representation (68T30)

Recommendations

• Verification of knowledge bases based on containment checking
• Verification of description logic knowledge and action bases
• -reductions in a knowledge base
• Verification of context-sensitive knowledge and action bases
• Reductions and saturation reductions of (abstract) knowledge bases
• Rules reduction for knowledge representation systems

Cited in

(1)

• Reductions and saturation reductions of (abstract) knowledge bases

This page was built for publication: Verifying Context-Dependent Reduction Relations for Knowledge Specifications

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