---
title: "Subsumption And Connection Graphs"
authors:
  - "Norbert Eisinger"
doi: ""
url: "https://ijcai.org/proceedings/1981/92"
pdf: "https://ijcai.org/proceedings/1981/0092.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "480-485"
track: "Theoretical Foundations"
keywords:
---

# Subsumption And Connection Graphs

Norbert Eisinger

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 480-485.

## Abstract

A subsumption test based on the principal idea of Kowalski's connection graph proof procedure is developed. In contrast to the standard test this new test is sufficiently efficient to permit the unrestricted use of the subsumption rule in practice. The test is not limited to the connection graph proof procedure, but most naturally embedded into it. In the latter case the unrestricted combination of subsumption with other deletion rules is shown to be inconsistent.