scientific article; zbMATH DE number 1303023

MaRDI QIDQ4249522zbMATH OpenFDO

Authors Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Publication date 17 June 1999

zbMATH Keywords

characteristic modelsdisjunctions of propositional Horn theoriesHorn CNFsHorn corepolynomial time algorithms

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity of computation (including implicit computational complexity) (03D15) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• On the difference of Horn theories
• scientific article; zbMATH DE number 1304333
• Computing intersections of Horn theories for reasoning with models
• Horn functions and their DNFs

Cited in

(10)

• Normality of Horn theories with a nonmaximal spectrum
• Semantical and computational aspects of Horn approximations
• Characterization results for d-Horn formulas, or on formulas that are true on dual reduced products
• Disjunctions of Horn theories and their cores
• Join on Closure Systems Using Direct Implicational Basis Representation
• scientific article; zbMATH DE number 1304333 (Why is no real title available?)
• scientific article; zbMATH DE number 1424011 (Why is no real title available?)
• On the difference of Horn theories
• Disjoint essential sets of implicates of a CQ Horn function
• On theories with the general disjunction property

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249522)