59 search results - page 3 / 12 » Prime Implicates and Prime Implicants in Modal Logic |
AAAI
1990
13 years 7 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
ASYNC
1998
IEEE
13 years 10 months ago
1998
IEEE
None of the available minimizers for exact 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to heuristic...
ENVSOFT
2007
13 years 5 months ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
IJCAI
1997
13 years 7 months ago
1997
Tractable covers are introduced as a new ap proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen eral framework is presented. Then, two ...
DEXAW
2005
IEEE
13 years 11 months ago
2005
IEEE
Business and technology trends are profoundly affecting the world of business process management, providing new challenges and opening new opportunities. This paper describes thes...