-Clauses.

Andreas Reuß Helmut Seidl

Published in: CIAA (2012)

Keyphrases

search space
first order logic
horn clauses
consequence finding
boolean formulae
data sets
artificial intelligence
multi agent
hidden markov models
background knowledge
satisfiability problem
clause learning
propositional formulas
boolean satisfiability
conjunctive normal form