Vers une formalisation des décompositions sémantiques dans la Grammaire d'Unification Sens-Texte.

François Lareau

Published in: TALN (Posters) (2007)

Keyphrases

formal analysis
higher order
theorem proving
equational theories
theorem prover
database
data mining
bayesian networks
prior knowledge
special case
domain specific
legal reasoning