Abstract Study question Is Bemfola® a cost-effective treatment option compared to Gonal-f® for women undergoing IVF/ICSI in France based on real-world evidence? Summary answer is option, evidence, demonstrating lower gonadotropin costs per live-birth following one ovarian stimulation cycle Gonal-f®. What known already Since Bemfola®’s first launch 2015, data has been collected France, comparing...

In this paper we show that subsumption problems in the description logics EL and EL can be expressed as uniform word problems in classes of semilattices with monotone operators. We use possibilities of efficient local reasoning in such classes of algebras, to obtain uniform PTIME decision procedures for TBox and CBox subsumption in EL and EL. These locality considerations allow us to present a ...

A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expre...

Probabilistic Logic Programming (PLP) is gaining popularity due to its many applications in particular in Machine Learning. An important problem in PLP is how to compute the probability of queries. PITA is an algorithm for solving such a problem that exploits tabling, answer subsumption and Binary Decision Diagrams (BDDs). PITA does not impose any restriction on the programs. Other algorithms, ...