Temporal Justification Logic

Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic

An Estimation and Analysis Framework for the Rasch Model

The Rasch model is widely used for item response analysis in applications ranging from recommender systems to psychology, education, and finance. While a number of estimators have been proposed for the Rasch model over the last decades, the available analytical performance guarantees are mostly asymptotic. This paper provides a framework that relies on a novel linear minimum mean-squared error (L-MMSE) estimator which enables an exact, nonasymptotic, and closed-form analysis of the parameter estimation error under the Rasch model. The proposed framework provides guidelines on the number of items and responses required to attain low estimation errors in tests or surveys. We furthermore demonstrate its efficacy on a number of real-world collaborative filtering datasets, which reveals that the proposed L-MMSE estimator performs on par with state-of-the-art nonlinear estimators in terms of predictive performance.Comment: To be presented at ICML 201

Engineering of ecological niches to create stable artificial consortia for complex biotransformations

The design of controllable artificial microbial consortia has attracted considerable interest in recent years to capitalize on the inherent advantages in comparison to monocultures such as the distribution of the metabolic burden by division of labor, the modularity and the ability to convert complex substrates. One promising approach to control the consortia composition, function and stability is the provision of defined ecological niches fitted to the specific needs of the consortium members. In this review, we discuss recent examples for the creation of metabolic niches by biological engineering of resource partitioning and syntrophic interactions. Moreover, we introduce a complementing process engineering approach to provide defined spatial niches with differing abiotic conditions (e.g. O2, T, light) in stirred tank reactors harboring biofilms. This enables the co-cultivation of microorganisms with non-overlapping abiotic requirements and the control of the strain ratio in consortia characterized by substrate competition