Basic research problems: The problem of choosing the representation, inference rule, and strategy

DOI10.1007/BF01880332zbMath0733.68076OpenAlexW2081785622WikidataQ114267014 ScholiaQ114267014MaRDI QIDQ809627

Larry Wos

Publication date: 1991

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

Full work available at URL: https://doi.org/10.1007/bf01880332

zbMATH Keywords

representationautomated reasoninginference rulestrategyunsolved research problem

Mathematics Subject Classification ID

Cites Work

• The problem of finding a semantic strategy for focusing inference rules
• Complexity and related enhancements for automated theorem-proving programs
• Semi-Automated Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Basic research problems: The problem of choosing the representation, inference rule, and strategy