Learning First-Order Acyclic Horn Programs from Entailment.

Chandra Reddy Prasad Tadepalli

Published in: ILP (1998)

Keyphrases

np hard
learning algorithm
np complete
learning process
prior knowledge
learning systems
supervised learning
online learning
reinforcement learning
higher order
learning problems
logic programming
knowledge acquisition
active learning
description logics
first order logic
knowledge base