On some tractable classes in deduction and abduction (Q1978251): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Polynomial-time inference of all valid implications for Horn and related formulae / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extended Horn sets in propositional logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4228441 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Relationship Between Abduction and Deduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: A hierarchy of tractable satisfiability problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recognizing renamable generalized propositional Horn formulas is NP- complete / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of logic-based abduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unit Refutations and Horn Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abduction versus closure in causal theories. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Renaming a Set of Clauses as a Horn Set / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3221403 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hierarchies of polynomially solvable satisfiability problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Support set selection for abductive and default reasoning / rank
 
Normal rank

Latest revision as of 15:29, 29 May 2024

scientific article
Language Label Description Also known as
English
On some tractable classes in deduction and abduction
scientific article

    Statements

    On some tractable classes in deduction and abduction (English)
    0 references
    4 June 2000
    0 references
    deduction
    0 references
    entailment
    0 references
    abduction
    0 references
    tractable inference
    0 references
    propositional logic
    0 references
    automated reasoning
    0 references
    tractability of entailment
    0 references
    0 references

    Identifiers