A linear inference is a valid inequality of Boolean algebra in which each variable occurs at most once on side. In this work we leverage recently developed graphical representations formulae to build an implementation that capable more efficiently searching for switch-medial-independent inferences. We use it find four `minimal' 8-variable independent inferences and also prove no smaller ones ex...

With the increasing sensitivity of gravitational-wave detectors, we expect to observe multiple binary neutron-star systems through gravitational waves in near future. The combined analysis these signals offers possibility constrain radius and equation state dense nuclear matter with unprecedented accuracy. However, it is crucial ensure that uncertainties inherent models will not lead systematic...

The recognition of textual entailment is one of the recent challenges of the Natural Language Processing (NLP) domain and one of the most demanding. Indeed, as specified in (Johan Bos, 2005), recognizing entailment bears similarities to Turing’s famous test to assess whether machines can think, as access to different sources of knowledge and the ability to draw inferences seem to be among the p...