scientific article; zbMATH DE number 4114106

MaRDI QIDQ4729412zbMATH OpenFDO

Authors Seppo Puuronen

Publication date 1988

zbMATH Keywords

expert systemsmatchingrule- selection mechanismrule-based knowledge representation

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• Toward logical analysis of tabular rule-based systems
• Efficient access mechanisms for tabled logic programs
• A graphical tabular model for rule-based logic programming and verification
• A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets
• Rule refinement for semantic tableau calculi
• Automated Deduction – CADE-20
• scientific article; zbMATH DE number 5511125
• Logic Programming

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 Q4729412)