Many applications in Computer Science require to represent knowledge and to reason with non normal form formulas. However, most of the advances in tractable reasoning are applied only to CNF formulas. In this paper, we extend tractability to several classes of non normal formulas which are of high practical interest. Thus, we rst deene three non normal Horn-like classes of formulas F1 ^ F2 ^ : ...

The purpose of this study was to investigate the effect of modifying aluminum oxide slips with magnesium oxide (MgO) to create a jointing material for In-Ceram Alumina. Jointed In-Ceram Alumina bars with In-Ceram Alumina slips containing 0-1.0 mass% MgO were examined by a three-point bending test. Joint-free bars were also tested as controls. Fracture surfaces were evaluated by scanning electro...

This paper investigates the effect of data reduction methods in performance Wireless Sensor Network (WSN) using a variety real-time datasets. The simulation tests are carried out MATLAB for several reducing quantity sent data. These approaches Data Reduction based - Neural Fitting (NNF), Time Series (NNTS), Linear Regression with Multiple Variables (LRMV), – “An Efficient Collection and Dissemi...

BACKGROUND Numerous pen devices are available to administer recombinant Human Growth Hormone (rhGH), and both patients and health plans have varying issues to consider when selecting a particular product and device for daily use. Therefore, the present study utilized multi-dimensional product analysis to assess potential time involvement, required weekly administration steps, and utilization co...

The aims of this study were to evaluate the shear bond strength (SBS) of metal and ceramic brackets bonded to two different all-ceramic crowns, IPS Empress 2 and In-Ceram Alumina, to compare the SBS between hydrofluoric acid (HFA), phosphoric acid etched, and sandblasted, non-etched all-ceramic surfaces. Ninety-six all-ceramic crowns were fabricated resembling a maxillary left first premolar. T...

This paper continues the line of research on knowledge compilation in the context of Negation Normal Forms (NNF) and Binary Decision Diagrams (BDD). The idea is to analyze different target languages according to their succinctness and the classes of queries and transformations supported in polytime. We identify a new property called simple-negation, which is an implicit restriction of all NNFs ...

We present the theoretical foundations of the many-valued generalization of a technique for simplifying large non-clausal formulas in propositional logic, that is called removal of anti-links. Possible applications include computation of prime implicates of large non-clausal formulas as required, for example, in diagnosis. With the anti-link technique, one does not compute any normal form of a ...

Theoretical and practical investigations have shown that some forms of reasoning such as belief revision, nonmonotonic reasoning, reasoning about knowledge, and STRIPS-like planning can be formulated by quantified Boolean formulas (QBFs) and can be solved as instances of quantified satisfiability problem (QSAT). Almost all existing QSAT solvers only accept QBFs represented in prenex-CNF. Formul...

Recension av: Barndomens kulturalisering. Barnkulturforskning i Norden 1. Red. Ulf Palmenfelt. Åbo 1999. (NNF publications 2.) 164s., ill.och Aspekter på narrativitet. 2. 2000. 5.) 159 s., ill.

This paper presents a comprehensive approach for model-based diagnosis which includes proposals for characterizing and computing preferred diagnoses, assuming that the system description is augmented with a system structure (a directed graph explicating the interconnections between system components). Speciically, we rst introduce the notion of a consequence, which is a syntactically unconstrai...