The complexity of minimum partial truth assignments and implication in negation-free formulae

DOI10.1007/BF02136174zbMath0891.68110OpenAlexW2005967372MaRDI QIDQ1380416

James P. Delgrande, Arvind Kumar Gupta

Publication date: 19 July 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02136174

zbMATH Keywords

symbolic reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Classical first-order logic (03B10)

Related Items (1)

On the fixed-parameter tractability of the equivalence test of monotone normal forms

Cites Work

• Circumscription - a form of non-monotonic reasoning
• An \(O(EV\log^2V)\) algorithm for the maximal flow problem
• A note on the computational complexity of the pure classical implication calculus
• A decidable first-order logic for knowledge representation
• On the Complexity of Timetable and Multicommodity Flow Problems
• The complexity of satisfiability problems
• The complexity of theorem-proving procedures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The complexity of minimum partial truth assignments and implication in negation-free formulae