The problem of naming and function replacement

DOI10.1007/BF00881903MaRDI QIDQ1311398zbMATH OpenWikidataFDO

Authors Larry Wos

Publication date 23 January 1994

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

representationnamingunsolved research problemfunction replacement

Mathematics Subject Classification ID

Recommendations

• Basic research problems: The problem of choosing the representation, inference rule, and strategy
• Basic research problems: The problem of strategy and hyperresolution
• The problem of reasoning by analogy
• The problem of selecting an approach based on prior success
• The problem of choosing the type of subsumption to use

Cites work

• scientific article; zbMATH DE number 41806 (Why is no real title available?)
• scientific article; zbMATH DE number 590572 (Why is no real title available?)
• scientific article; zbMATH DE number 3349331 (Why is no real title available?)
• An implementation of hyper-resolution
• Complexity and related enhancements for automated theorem-proving programs

Cited in

(1)

• Magic mountain and devil's staircase swapping problems

This page was built for publication: The problem of naming and function replacement

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