Computation of prime implicants using matrix and paths

DOI10.1093/logcom/8.2.135zbMath0901.68194OpenAlexW1980926834MaRDI QIDQ4399714

A. K. Shiny, Arun K. Pujari

Publication date: 28 July 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a59dfb6ead7c80eeb899b381cee1313cfa18767f

zbMATH Keywords

knowledge baseconjunctive normal form

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Classical propositional logic (03B05)

Related Items

Theory and implementation of coalitional analysis in cooperative decision making, A matrix-based approach to searching colored paths in a weighted colored multidigraph, Prime implicants of first order formulas via transversal clauses