Login / Signup
Translating propositional extended conjunctions of Horn clauses into Boolean circuits.
Joxe Gaintzarain
Montserrat Hermo
Paqui Lucio
Marisa Navarro
Published in:
Theor. Comput. Sci. (2010)
Keyphrases
</>
horn clauses
first order logic
logic programs
inference rules
conceptual clustering
inductive logic programming
database queries
real valued
boolean functions
data sets
databases
artificial intelligence
knowledge representation