Polynomial-time inference of all valid implications for Horn and related formulae
type: Item
instance of: scholarly article
title: Polynomial-time inference of all valid implications for Horn and related formulae
zbMATH Open document ID: 0878.68105
DOI: 10.1007/BF01531068
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-12-14T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 1017058
zbMATH Keywords: inference problem
zbMATH Keywords: Horn formulae
author: Endre Boros
author: Yves Crama
author: Peter L. Hammer
describes a project that uses: Ltur
MaRDI profile type: Publication
cites work: Recognizing disguised NR(1) instances of the satisfiability problem
cites work: A linear-time algorithm for testing the truth of certain quantified Boolean formulas
cites work: Q5769706
cites work: Q5679729
cites work: The complexity of theorem-proving procedures
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: Q4199578
cites work: A cascade algorithm for the logical closure of a set of binary relations
cites work: A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities
cites work: Unification as a complexity measure for logic programming
cites work: Complete problems for deterministic polynomial time
cites work: Q3862380
cites work: Renaming a Set of Clauses as a Horn Set
cites work: LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
cites work: Q3822179
cites work: A Way to Simplify Truth Functions
cites work: On Cores and Prime Implicants of Truth Functions
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: The complexity of satisfiability problems
cites work: The Complexity of Enumeration and Reliability Problems
cites work: Question-asking strategies for Horn clause systems
description: scientific article; zbMATH DE number 1017058