We study the semantics of disjunctive logic programs that simultaneously contain multiple kinds of default negations. We introduce operators not G , not W , and not STB in the language of logic programs to represent the Generalized Closed World Assumption, the Weak Generalized Closed World Assumption, and the stable negation, respectively. The notion of stratiication involving diierent kinds of...

We present and evaluate a top-down algorithm for compiling finite-domain constraint networks (CNs) into the language MDDG of multivalued decomposable decision graphs. Though it includes DecisionDNNF as a proper subset, MDDG offers the same key tractable queries and transformations as DecisionDNNF, which makes it useful for many applications. Intensive experiments showed that our compiler cn2mdd...

Background: Tincture of opium (TOP) is currently used for maintenance therapy in treatment of opioids addiction. It contains ethanol. The present study was conducted to assess the increase in blood alcohol concentration (BAC) in its users; a process which may interfere with breath-alcohol test performed by law enforcement or traffic police. Methods: A total of 143 individuals were selected rand...

Designing optimal microstructures for solid oxide fuel cell (SOFC) electrodes is complicated due to the multitude of electro-chemo-physical phenomena taking place simultaneously that directly affect working conditions of a SOFC electrode and its performance. In this study, a new design paradigm is presented to obtain a balance between electrochemical sites in the form of triple phase boundary (...

Maneuver warfare at its core is a mechanistic endeavor and fits with a corresponding necessity of top-down hierarchies. Conversely, counterinsurgency is a more ambiguous environment that varies in its complexity and context; it is the chess match of war. It is different in every locale and can cover the entire spectrum of war simultaneously. Consequently, counterinsurgency is difficult to put o...

The composition tree of a given function, when it exists, provides a representation of the function revealing all possible disjunctive decompositions, thereby suggesting a realization of the function at a minimal cost. Previously and independently, the authors had studied the class of multiplevalued functions that are fully sensitive to their variables. These functions are useful for test gener...

CATARACT surgeons need to have a thorough understanding of the classification of ophthalmic viscosurgical devices (OVDs) if they are to use them to their best advantage, said Steve Arshinoff MD FRCSC in his Rayner Medal lecture at the annual meeting of the United Kingdom and Ireland Society of Cataract and Refractive Surgeons (UKISCRS) held in conjunction with the XXIV Congress of the ESCRS. Dr...

We study normalization of deterministic sequential top-down tree-to-word transducers (stws), that capture the class of deterministic top-down nested-word to word transducers. We identify the subclass of earliest stws (estws) that yield unique normal forms when minimized. The main result of this paper is an effective normalization procedure for stws. It consists of two stages: we first convert a...

The sentential decision diagram (SDD) has been recently proposed as a new tractable representation of Boolean functions that generalizes the influential ordered binary decision diagram (OBDD). Empirically, compiling CNFs into SDDs has yielded significant improvements in both time and space over compiling them into OBDDs, using a bottomup compilation approach. In this work, we present a top-down...