The problem of choosing the type of subsumption to use

DOI10.1007/BF00249023zbMATH Open0733.68077WikidataQ114267056 ScholiaQ114267056MaRDI QIDQ809628FDOQ809628

Authors: Larry Wos 

Publication date: 1991

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

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

zbMATH Keywords

subsumptionunsolved research problemdiscarding redundant information

Mathematics Subject Classification ID

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 naming and function replacement
• The problem of selecting an approach based on prior success
• The problem of reasoning by case analysis

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)