Search Results for author: Montserrat Hermo

Found 2 papers, 0 papers with code

Automatic White-Box Testing of First-Order Logic Ontologies

no code implementations29 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.

New Steps on the Exact Learning of CNF

no code implementations10 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.

Learning Theory

Cannot find the paper you are looking for? You can Submit a new open access paper.