On the Complexity of Equational Horn Clauses.
Kumar Neeraj VermaHelmut SeidlThomas SchwentickPublished in: CADE (2005)
Keyphrases
- horn clauses
- first order logic
- inference rules
- conceptual clustering
- inductive logic programming
- logic programs
- database queries
- computational complexity
- function symbols
- artificial intelligence
- information extraction
- worst case
- propositional logic
- data sets
- low level
- active learning
- pairwise
- decision trees
- machine learning