5506 search results - page 25 / 1102 » Minimal Logic Programs |
116
Voted
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
104
click to vote
DAC
1996
ACM
15 years 4 months ago
1996
ACM
-- We present a new heuristic algorithm for hazard-free minimization of two-level logic. On nearly all examples, the algorithm finds an exactly minimum-cost cover. It also solves s...
127
Voted
EPIA
2009
Springer
15 years 7 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
66
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
94
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...