Login / Signup
An algorithm to compute maximal contractions for Horn clauses.
Jie Luo
Wei Li
Published in:
Sci. China Inf. Sci. (2011)
Keyphrases
</>
learning algorithm
preprocessing
cost function
objective function
probabilistic model
dynamic programming
search space
expert systems
computational complexity
worst case
expectation maximization
segmentation algorithm
detection algorithm
horn clauses
k means
active learning
optimal solution
temporal logic