Login / Signup
Generating hard tautologies using predicate logic and the symmetric group.
Søren Riis
Meera Sitharam
Published in:
Log. J. IGPL (2000)
Keyphrases
</>
predicate logic
knowledge representation and reasoning
formal logic
temporal logic
semantic network
semantic net
computational linguistics
predicate calculus
order sorted
data mining
highly expressive