Definable Transductions and Weighted Logics for Texts.

Christian Mathissen

Published in: Developments in Language Theory (2007)

Keyphrases

expressive power
modal logic
finite state
weighted sum
transitive closure
first order logic
inference rules
order statistics
finite automata
information retrieval
keywords
scheduling problem
classical logic
legal texts