A feature model defines each product in a product-line by a unique combination of features. Feature compatibilities are expressed as constraints in feature models and may be contradictory. We suggest a run-time approach to expose contradictions in feature models when they are uncovered. However, the emphasis of this paper is to explore the possibility of finding contradictions statically using ...

Altschuller's Contradiction Matrix and Bartini-Kuznetsov's LT - Table represent two different tools for solving inventive problems based on the same dialectical principle. It starts from premise that there are contradictions at root of every problem. Although both designed to make it easier come up with Ideal Final Solution (IFS), in practice they often optimal rather than ideal solutions. One ...

The problem of stability / instability the modern state and factors overcoming destructive phenomena are considered, most important which is excessive growth phenomenon chance in political development. article devoted to problems specificity explication concept glamorous information epoch. content axiological guidelines, priority for forming both society regime, was analyzed. It determined that...

Dogs are exceptionally successful at interpreting human pointing gestures to locate food hidden in one of two containers. However, it has repeatedly been questioned whether dogs rely on the pointing gesture or their success is increased by subtle cues from their human handler. In two experiments we used a standard two-way object-choice task to focus on this potential Clever Hans effect. We inve...

(Extended abstract appeared in: Extended stable semantics for normal and disjunctive logic programs. Unfold/fold transformation of general logic programs for the well-founded semantics. 21 deenitions. In BD96a, BD96b] a rigorous description of STABLE, WFS and their disjunctive counterparts based on certain connuent calculi of transformations is given. Finally DS96] extends these transformations...