A note on resolution, connection graphs, and subsumption

Authors:
Dennis de Champeaux
Affiliations:
University of Amsterdam, Jodenbreestr, NH Amsterdam
Venue:
ACM SIGART Bulletin
Year:
1982

Citing 3
Cited 0

A Proof Procedure Using Connection Graphs

Journal of the ACM (JACM)
On Matrices with Connections

Journal of the ACM (JACM)
Subsumption and Connectionsgraphs

GWAI '81 Proceedings of the German Workshop on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Completeness is endangered by the combination in connection graph of subsumption deletion rules and the run time pure literal rule. With some care we can restore completeness.