Learn More
To compute a function such as a mapping from vertices to colors in the graph coloring problem, current practice in Answer Set Programming is to represent the function as a relation. Among other things, this often makes the resulting program unnecessarily large when instantiated on a large domain. The extra constraints needed to enforce the relation as a(More)
In this paper, we propose a semantic forgetting for arbitrary logic programs (or propositional theories) under answer set semantics, called HT-forgetting. The HT-forgetting preserves strong equivalence in the sense that strongly equivalent logic programs will remain strongly equivalent after forgetting the same set of atoms. The result of an HT-forgetting(More)
Telomere integrity (including telomere length and capping) is critical in overall genomic stability. Telomere repeat binding factors and their associated proteins play vital roles in telomere length regulation and end protection. In this study, we explore the protein network surrounding telomere repeat binding factors, TRF1, TRF2, and POT1 using dual-tag(More)
Poly(ADP-ribose)polymerase 1 (PARP1) is well characterized for its role in base excision repair (BER), where it is activated by and binds to DNA breaks and catalyzes the poly(ADP-ribosyl)ation of several substrates involved in DNA damage repair. Here we demonstrate that PARP1 associates with telomere repeat binding factor 2 (TRF2) and is capable of(More)
The stability of many proteins is controlled by the ubiquitin proteolytic system, which recognizes specific substrates through the action of E3 ubiquitin ligases [1]. The SCFs are a recently described class of ubiquitin ligase that target a number of cell cycle regulators and other proteins for degradation in both yeast and mammalian cells [2] [3] [4] [5](More)
Brewka and Eiter's nonmonotonic multi-context systems is an elegant knowledge representation framework to model heterogeneous and nonmonotonic multiple contexts. Belief change is a central problem in knowledge representation and reasoning. In the paper we follow the classical AGM approach to investigate belief change in multi-context systems. Specifically,(More)
The role of microRNAs in small-cell lung carcinoma (SCLC) is largely unknown. miR-34a is known as a p53 regulated tumor suppressor microRNA in many cancer types. However, its therapeutic implication has never been studied in SCLC, a cancer type with frequent dysfunction of p53. We investigated the expression of a panel of 7 microRNAs (miR-21, miR-29b,(More)
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics, for the Semantic Web. In this paper, we generalize the notions of completion and loop formulas of logic programs to description logic programs and show that the answer sets of a(More)