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...

Decomposable negation normal form (DNNF) was developed primarily for knowledge compilation. Formulas in DNNF are linkless, in negation normal form (NNF), and have the property that atoms are not shared across conjunctions. Full dissolvents are linkless NNF formulas that do not in general have the latter property. However, many of the applications of DNNF can be obtained with full dissolvents. T...

STATEMENT OF PROBLEM Streptococcus mutans can adhere at restored tooth margins to cause recurrent caries. Limited information about surface quality and bacterial adherence is available for lithium disilicate ceramic materials. PURPOSE The purpose of this in vitro study was to investigate how bacterial adherence is influenced by commercially available preparations of lithium disilicate ceramic...

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 of anti-links include computation of prime implicates of large non-clausal formulas as required, for example, in diagnosis. Anti-links do not compute any normal form of a given formu...

Purpose: The purpose of the current study was to examine the effect of accelerated aging on color stability of the In-Ceram and Cergogold ceramic materials. Materials and Methods: Ceramic samples with 1.0 mm in diameter and 1.5 mm in thickness were prepared in three commonly used shades. CIE Lab readings were recorded with a spectrophotometer prior to experiments and after 100-hour accelerated ...

OBJECTIVE The objective of the present study is to evaluate and compare the flexural strength, dynamic elastic moduli and true hardness (H(o)) values of commercial Vita In-Ceram alumina core and Vita In-Ceram matrix glass with the standard aluminous porcelain (Hi-Ceram and Vitadur), Vitadur N and Dicor glass and glass-ceramic. METHODS The flexural strength was evaluated (n=5) using 3-point lo...

Tracking many targets simultaneously using a search radar has been one of the major research areas in radar signal processing. The primary difficulty in this problem arises from the noise characteristics of the incoming data. Hence it is crucial to obtain an accurate association between targets and noisy measurements in multi-target tracking. We introduce a new scheme for optimal data associati...

OBJECTIVE 1014 EEGs of children in the 3-months to 12-years age group were obtained during sleep with the purpose of assessing the frequency and amplitude gradient (FAG) its absence thought to be an indicator of neurological disorder. METHOD FAG findings were divided into present/absent. The neurological findings were classified according to the presence (abnormal neurological finding-ANF) or...

......................................................................................................................................... ii Acknowledgements ................................................................................................................... iv List of Tables ............................................................................................................

Recension av: Ulrika Wolf-Knuts (red.) Vägen till arkivet. Åbo 1999. (NNF Publications 4.) 166 s., ill.