Labelled Clauses.

Tal Lev-Ami Christoph Weidenbach Thomas W. Reps Mooly Sagiv

Published in: CADE (2007)

Keyphrases

first order logic
search space
background knowledge
horn clauses
boolean formulae
genetic algorithm
consequence finding
real world
artificial intelligence
information systems
knowledge representation