over 170 million patients worldwide are chronically infected with hepatitis c virus ( hcv ); making it a globally important infection. dentists constantly handle sharp instruments infected with biological fluids and are therefore considered at high-risk of contracting hcv infection. needle-stick injuries seem to be the most common route of exposure to blood-borne pathogens in dental practice. m...

This paper is devoted to the study of implication (and co-implication) functions defined from idempotent uninorms. The expression of these implications, a list of their properties, as well as some particular cases are studied. It is also characterized when these implications satisfy some additional properties specially interesting in the framework of implication functions, like contrapositive s...

With the growing use of XML as a format for the permanent storage of data, the study of functional dependencies in XML (XFDs) is of fundamental importance in understanding how to effectively design XML databases without redundancy or update problems. In this article we investigate the implication problem, that is determining when a set of integrity constraints logically implies another integrit...

Abduction is usually defined in terms of classical logical consequence. In this paper we substitute this ’inferential parameter’ by the notion of strict implication. By doing so we hope to put more of the intended meaning of the abductive explanative relation into the background theory. By using strict rather than material implication static domain knowledge for abductive tasks can deal with so...

Automatic Test Pattern Generation (ATPG) primarily has to solve three fundamental Boolean problems: justification, propagation, and implication. In the past, various data structures (e.g. netlists, CNFs, decision diagrams) have been used to tackle these problems with none of them being specifically optimized for all these tasks. That is why we propose fast and optimized algorithms for justifica...

Lemma 2 Let A be an atom and P |= A. Then A has an implication tree wrt. P . Proof: We construct a model M of P . Let |M| be the set of all terms (with variables) and let fM(~t ) := f(~t ). Let rM(~t ) be true if and only if r(~t ) has an implication tree wrt. P . We claim that M is a model of P . If B is a fact of P then for every substitution (variable assignment) θ the atom Bθ is an implicat...

Conditional independence provides an essential framework to deal with knowledge and uncertainty in Artificial Intelligence, and is fundamental in probability and multivariate statistics. Its associated implication problem is paramount for building Bayesian networks. Saturated conditional independencies form an important subclass of conditional independencies. Under schema certainty, the implica...

Implication rules have been used in uncertainty reasoning systems to confirm and draw hypotheses or conclusions. However a m_jor bottleneck in developing such systems lies in the elicitation of these rules. This paper empirically examines the performance of evidential inferencing with implication networks generated using a rule induction tool called KAT. KAT utilizes an algorithm for the statis...

We investigate nite implication problems associated with key and foreign key constraints for XML data. We demonstrate that there is interaction between DTDs and these constraints, and the interaction complicates the analysis of nite implication. In particular, we establish complexity results for reasoning about two classes of constraints for XML. One class, L u , deenes unary keys and foreign k...