Sciweavers

3891 search results - page 14 / 779
» A logic for strategic reasoning
Sort
View
ECIS
2001
13 years 9 months ago
E-Business Strategy Formulating and Forming: New Wine in Old Bottles?
The motivation for strategic action should be highest in volatile, unstable and unpredictable environments. For that reason, the search for a more strategic, systematic approach t...
Arjen Wassenaar, Shirley Gregor
ICCAD
2009
IEEE
101views Hardware» more  ICCAD 2009»
13 years 5 months ago
Compacting test vector sets via strategic use of implications
As the complexity of integrated circuits has increased, so has the need for improving testing efficiency. Unfortunately, the types of defects are also becoming more complex, which...
Nuno Alves, Jennifer Dworak, R. Iris Bahar, Kundan...
FOAL
2007
ACM
13 years 11 months ago
Aspects and modular reasoning in nonmonotonic logic
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
Klaus Ostermann
CADE
1997
Springer
13 years 11 months ago
A Practical Integration of First-Order Reasoning and Decision Procedures
Nikolaj Bjørner, Mark E. Stickel, Tom&aacut...