The problem of choosing the type of subsumption to use

DOI10.1007/BF00249023MaRDI QIDQ809628zbMATH OpenWikidataFDO

Authors Larry Wos

Publication date 1991

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

zbMATH Keywords

subsumptionunsolved research problemdiscarding redundant information

Mathematics Subject Classification ID

Recommendations

• The problem of selecting an approach based on prior success
• Basic research problems: The problem of choosing the representation, inference rule, and strategy
• The problem of reasoning by case analysis
• The problem of reasoning by analogy
• The problem of induction

Cites work

• scientific article; zbMATH DE number 4104410 (Why is no real title available?)
• scientific article; zbMATH DE number 41806 (Why is no real title available?)
• scientific article; zbMATH DE number 3254919 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
• An implementation of hyper-resolution
• Automated development of Tarski's geometry
• Semi-Automated Mathematics

Cited in

(3)

• The problem of reasoning by case analysis
• The problem of naming and function replacement
• The problem of selecting an approach based on prior success

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: The problem of choosing the type of subsumption to use

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