(Co-)Inductive semantics for Constraint Handling Rules.

Rémy Haemmerlé

Published in: Theory Pract. Log. Program. (2011)

Keyphrases

constraint handling rules
formal semantics
machine learning
semantic information
inductive learning
neural network
operational semantics
real world
learning algorithm
case study
inductive logic programming
default reasoning
rule learning
functional programs