First Order Languages: Further Syntax and Semantics.

Marco B. Caminati

Published in: Formaliz. Math. (2011)

Keyphrases

first order logic
expressive power
language independent
higher order
context free
databases
stochastic dominance
language identification
horn clauses
neural network
grammatical inference
text summarization
cross lingual
relational databases
multi lingual
website
function free horn