Efficient Reasoning for Inconsistent Horn Formulae.

João Marques-Silva Alexey Ignatiev Carlos Mencía Rafael Peñaloza

Published in: JELIA (2016)

Keyphrases

neural network
database
data sets
genetic algorithm
knowledge base
query processing
knowledge representation
lightweight
computationally expensive
natural language