scientific article; zbMATH DE number 970722

MaRDI QIDQ5688907zbMATH OpenFDO

Authors B. M. Kim, Sang-Ho Lee, Seungryoul Maeng, Jung Wan Cho

Publication date 25 May 1997

zbMATH Keywords

generated clausesresolution based deduction systemsstrongly compatible list

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Recommendations

• On the efficiency of subsumption algorithms
• Logic for Programming, Artificial Intelligence, and Reasoning
• Subsumption algorithms based on search trees
• A new subsumption method in the connection graph proof procedure

Cited in

(11)

• A new subsumption method in the connection graph proof procedure
• On deciding subsumption problems
• scientific article; zbMATH DE number 3862479 (Why is no real title available?)
• A restarted strategy for efficient subsumption testing
• scientific article; zbMATH DE number 3945370 (Why is no real title available?)
• On the efficiency of subsumption algorithms
• scientific article; zbMATH DE number 4072424 (Why is no real title available?)
• scientific article; zbMATH DE number 2209390 (Why is no real title available?)
• An exhaustive matching procedure for the improvement of learning efficiency.
• AI*IA 2003: Advances in Artificial Intelligence
• Fast subsumption checks using anti-links

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