Renaming a Set of Clauses as a Horn Set

1978/01/01 by Harry R. Lewis · 3 citations
Computer Science · #Natural Language Processing Techniques

paper · pdf · doi:10.1145/322047.322059

openalex publication_date 1978/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2025/11/06

Abstract

No abstract available.

Citations

• The complexity of theorem-proving procedures

Cited by

• Polynomial-time inference of all valid implications for Horn and related formulae
• 2-satisfiability [wikipedia]
• Harry R. Lewis [wikipedia]