Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras.

Published in: TACL (2013)

Keyphrases

relation algebra
modulo theories
modal logic
inductive inference
expressive power
sat solvers
game based learning
multi valued
classical logic
statistical machine translation
role play