no code implementations • 29 May 2017 • Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau
Our proposal enables the detection of defects and serves to certify the grade of suitability --for reasoning purposes-- of every axiom.
no code implementations • 10 Sep 2016 • Montserrat Hermo, Ana Ozaki
A major problem in computational learning theory is whether the class of formulas in conjunctive normal form (CNF) is efficiently learnable.