Login / Signup
An Algorithm for Logically Deducing Horn Clauses and Processing Logic Queries.
Chao-Chih Yang
Published in:
Int. J. Pattern Recognit. Artif. Intell. (1987)
Keyphrases
</>
computational complexity
objective function
k means
horn clauses
learning algorithm
metadata
optimal solution
database
databases
expert systems
probability distribution
logic programming
inductive logic programming
inference rules