59 search results - page 2 / 12 » Prime Implicates and Prime Implicants in Modal Logic |
ICTAI
1997
IEEE
13 years 9 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
IJCAI
1993
13 years 6 months ago
1993
Traditional algorithms for prime implicate generation [Quine, 1952; McCluskey, 1956; Tison, 1967; Kean and Tsiknis, 1990; de Kleer, 1992] require the input formulas to be first tr...
SIAMDM
2008
13 years 5 months ago
2008
IDEAS
2002
IEEE
13 years 10 months ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
RSCTC
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We provide the unified methodology for searching for approximate decision reducts based on rough membership distributions. Presented study generalizes well known relation...