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)

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

zbMATH Keywords

discarding redundant informationsubsumptionunsolved research problem

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

• 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
• 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?)
• Semi-Automated Mathematics

Cited in

(3)

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

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)