Login / Signup
Horn clauses as an intermediate representation for program analysis and transformation.
Graeme Gange
Jorge A. Navas
Peter Schachte
Harald Søndergaard
Peter J. Stuckey
Published in:
Theory Pract. Log. Program. (2015)
Keyphrases
</>
intermediate representation
horn clauses
intermediate representations
inference rules
logic programs
first order logic
intermediate level
inductive logic programming
database queries
web pages
database
image classification
image interpretation
supervised learning
tightly coupled
feature extraction
artificial intelligence