The problem of hyperparamodulation

DOI10.1007/BF00881890MaRDI QIDQ1337565zbMATH OpenOpenAlexWikidataFDO

Authors Larry Wos

Publication date 10 November 1994

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

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

zbMATH Keywords

automated reasoninghyperparamodulation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• The problem of hyperparamodulation and nuclei
• Basic research problems: The problem of strategy and hyperresolution
• The problem of demodulation during inference rule application
• The problem of reasoning from inequalities
• The problem of demodulating across argument and literal boundaries

Cites work

• scientific article; zbMATH DE number 4049136 (Why is no real title available?)
• scientific article; zbMATH DE number 3688782 (Why is no real title available?)
• scientific article; zbMATH DE number 41806 (Why is no real title available?)
• scientific article; zbMATH DE number 590572 (Why is no real title available?)
• scientific article; zbMATH DE number 3444822 (Why is no real title available?)
• scientific article; zbMATH DE number 3254919 (Why is no real title available?)
• scientific article; zbMATH DE number 3349331 (Why is no real title available?)
• A Technique for Establishing Completeness Results in Theorem Proving with Equality
• Proving Theorems with the Modification Method

Cited in

(5)

• The problem of reasoning from inequalities
• The problem of demodulation during inference rule application
• The problem of demodulator adjunction
• The problem of demodulating across argument and literal boundaries
• The problem of hyperparamodulation and nuclei

This page was built for publication: The problem of hyperparamodulation

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