Basic research problems: The problem of strategy and hyperresolution

DOI10.1007/BF00881847MaRDI QIDQ1332645zbMATH OpenOpenAlexWikidataFDO

Authors Larry Wos

Publication date 31 August 1994

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

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

zbMATH Keywords

automated reasoninghyperresolutionparamodulationstrategyunsolved research problem

Mathematics Subject Classification ID

Recommendations

• Basic research problems: The problem of choosing the representation, inference rule, and strategy
• Some remarks on hyperresolutions
• Strategies for modal resolution: Results and problems
• Optimization problems in electron microscopy of single particles
• scientific article; zbMATH DE number 2209798
• Logic Programming
• Relative Resolution and Its Applications
• scientific article; zbMATH DE number 1066477
• Research problems

Cited in

(6)

• The problem of reasoning from inequalities
• The problem of naming and function replacement
• The problem of automated theorem finding
• The problem of hyperparamodulation
• The problem of hyperparamodulation and nuclei
• The problem of demodulation during inference rule application

Describes a project that uses

Uses Software

• AURA

This page was built for publication: Basic research problems: The problem of strategy and hyperresolution

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