A Quantifier-Free String Theory for ALOGTIME Reasoning

Published in: CoRR (2007)

Keyphrases

quantifier free
first order logic
quantifier elimination
rewrite systems
real numbers
knowledge base
data structure
knowledge representation
constraint propagation
computational properties
learning algorithm
modal logic
theorem proving
satisfiability modulo theories