Automatic Recognition of Clauses.

Oldrich Kruza Vladislav Kubon

Published in: Int. J. Comput. Linguistics Appl. (2014)

Keyphrases

automatic recognition
first order logic
search space
boolean satisfiability
character segmentation
consequence finding
boolean formulae
horn clauses
data sets
refinement operators
white blood cells