Syntactic Unification as a Geometric Operation in Free Modules over certain Rings.

Robin N. Banerjee Andrés Bujosa

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

natural language
geometric information
higher order
building blocks
theorem prover
modular structure
automated theorem proving
genetic algorithm
bayesian networks
language generation
syntactic semantic
modular ontologies