Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based algorithm selection approaches and techniques. The claspfolio 2 solver framework supports various feature generators, solver selection approaches, solver portfolios, as well as solver-schedule-based pre-solving te...

Securing a potential mate is one of the most important processes in sexual reproduction of animals. Intertidal copepods of the genus Tigriopus show mate-guarding behavior where a male captures a female and continues to clasp her for up to two weeks prior to copulation. Although these copepods form a mate-guarding pair between a male and a female with high accuracy, interactions between the sexe...

We show that logic C1 cannot be extended to a paraconsistent logic in which the substitution theorem is valid. We show with the help of an answer set programming (ASP) tool called clasp, that C1 is robust with respect to certain three valued paraconsistent logics with some desirable properties. In particular C1 is robust with respect to three-valued logic P2, a logic for which some of the De Mo...

BACKGROUND Lumbar spine fusion rates can vary according to the surgical technique. Although many studies on spinal fusion have been conducted and reported, the heterogeneity of the study designs and data handling make it difficult to identify which approach yields the highest fusion rate. This paper reviews studies that compared the lumbosacral fusion rates achieved with different surgical tech...