Login / Signup
HoIce: An ICE-Based Non-linear Horn Clause Solver.
Adrien Champion
Naoki Kobayashi
Ryosuke Sato
Published in:
APLAS (2018)
Keyphrases
</>
horn clauses
inference rules
logic programs
first order logic
inductive logic programming
database queries
machine learning
feature selection
high resolution
fault models