Lifted Variable Elimination for Probabilistic Logic Programming

Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances. Even if various authors have underlined its importance for probabilistic logic programming (PLP), lifted inference has been applied up to now only to relational languages outside of logic programming. In this paper we adapt Generalized Counting First Order Variable Elimination (GC-FOVE) to the problem of computing the probability of queries to probabilistic logic programs under the distribution semantics. In particular, we extend the Prolog Factor Language (PFL) to include two new types of factors that are needed for representing ProbLog programs. These factors take into account the existing causal independence relationships among random variables and are managed by the extension to variable elimination proposed by Zhang and Poole for dealing with convergent variables and heterogeneous factors. Two new operators are added to GC-FOVE for treating heterogeneous factors. The resulting algorithm, called LP$^2$ for Lifted Probabilistic Logic Programming, has been implemented by modifying the PFL implementation of GC-FOVE and tested on three benchmarks for lifted inference. A comparison with PITA and ProbLog2 shows the potential of the approach.Comment: To appear in Theory and Practice of Logic Programming (TPLP). arXiv admin note: text overlap with arXiv:1402.0565 by other author

Introduction to the special issue on cross-language algorithms and applications

With the increasingly global nature of our everyday interactions, the need for multilingual technologies to support efficient and efective information access and communication cannot be overemphasized. Computational modeling of language has been the focus of Natural Language Processing, a subdiscipline of Artificial Intelligence. One of the current challenges for this discipline is to design methodologies and algorithms that are cross-language in order to create multilingual technologies rapidly. The goal of this JAIR special issue on Cross-Language Algorithms and Applications (CLAA) is to present leading research in this area, with emphasis on developing unifying themes that could lead to the development of the science of multi- and cross-lingualism. In this introduction, we provide the reader with the motivation for this special issue and summarize the contributions of the papers that have been included. The selected papers cover a broad range of cross-lingual technologies including machine translation, domain and language adaptation for sentiment analysis, cross-language lexical resources, dependency parsing, information retrieval and knowledge representation. We anticipate that this special issue will serve as an invaluable resource for researchers interested in topics of cross-lingual natural language processing.Postprint (published version

The Irr and RirA proteins participate in a complex regulatory circuit and act in concert to modulate bacterioferritin expression in Ensifer meliloti 1021

In this work we found that the bfr gene of the rhizobial species Ensifer meliloti, encoding a bacterioferritin iron storage protein, is involved in iron homeostasis and the oxidative stress response. This gene is located downstream of and overlapping the smc03787 open reading frame (ORF). No well-predicted RirA or Irr boxes were found in the region immediately upstream of the bfr gene although two presumptive RirA boxes and one presumptive Irr box were present in the putative promoter of smc03787. We demonstrate that bfr gene expression is enhanced under iron-sufficient conditions and that Irr and RirA modulate this expression. The pattern of bfr gene expression as well as the response to Irr and RirA is inversely correlated to that of smc03787. Moreover, our results suggest that the small RNA SmelC759 participates in RirA- and Irr-mediated regulation of bfr expression and that additional unknown factors are involved in iron-dependent regulation.Fil: Costa, Daniela. Instituto de Investigaciones Biológicas "Clemente Estable"; UruguayFil: Amarelle, Vanesa. Instituto de Investigaciones Biológicas "Clemente Estable"; UruguayFil: Valverde, Claudio Fabián. Universidad Nacional de Quilmes; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: O`Brian, Mark R.. State University of New York; Estados UnidosFil: Fabiano, Elena. Instituto de Investigaciones Biológicas "Clemente Estable"; Urugua

The Virtual Health Sciences Library of the Balearic Islands: A regional project for libraries cooperation.

Virtual Health Sciences Library of the Balearic Islands (Bibliosalut) is a regional project carried out in collaboration with the Regional Ministry of Health and Consumer Protection and the Health Service of the Balearic Islands (Ib-salut), through the Balearic Islands Biomedical Documentation Service. The Virtual Library Mission is to facilitate the most important scientific information to the public health professionals of the Balearic Islands, by using the new information and communication technologies, in order to contribute to the improvement of medical care quality, teaching, research and health managemen