Inference with path resolution and semantic graphs

DOI10.1145/23005.23716zbMath0635.03007OpenAlexW2095365729MaRDI QIDQ3773844

Neil V. Murray, Erik Rosenthal

Publication date: 1987

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/23005.23716

zbMATH Keywords

connection graphPrawitz analysislink deletionpath resolution

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items (2)

On the relative merits of path dissolution and the method of analytic tableaux ⋮ Linearity and regularity with negation normal form

This page was built for publication: Inference with path resolution and semantic graphs