The problem of finding a semantic strategy for focusing inference rules

DOI10.1007/BF00244492zbMath0702.68093OpenAlexW2008689902WikidataQ114267074 ScholiaQ114267074MaRDI QIDQ915497

Larry Wos

Publication date: 1990

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

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

zbMATH Keywords

automated reasoninginference rulessemantic criteriasyntactic criteria

Mathematics Subject Classification ID

Related Items (1)

Basic research problems: The problem of choosing the representation, inference rule, and strategy

This page was built for publication: The problem of finding a semantic strategy for focusing inference rules