Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming.

Published in: DEXA Workshops (2008)

Keyphrases

horn clauses
first order logic
logic programs
inference rules
conceptual clustering
database queries
overlay network
lattice theory
data sets
artificial intelligence
active learning
inductive logic programming
machine learning
software engineering
programming language
fixed point