The problem of demodulation during inference rule application

DOI10.1007/BF00247829MaRDI QIDQ688553zbMATH OpenOpenAlexWikidataFDO

Authors Larry Wos

Publication date 10 December 1993

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

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

zbMATH Keywords

automated reasoningdemodulationhyperparamodulationhyperresolutionunsolved research problemUR-resolution

Mathematics Subject Classification ID

Recommendations

• The problem of demodulating across argument and literal boundaries
• The problem of demodulator adjunction
• The problem of hyperparamodulation
• Basic research problems: The problem of strategy and hyperresolution
• Basic research problems: The problem of choosing the representation, inference rule, and strategy

Cited in

(6)

• The problem of hyperparamodulation
• The problem of reasoning from inequalities
• The problem of finding a semantic strategy for focusing inference rules
• 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 demodulation during inference rule application

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