"Syntactic" AC-Unification.

Alexandre Boudet Evelyne Contejean

Published in: CCL (1994)

Keyphrases

natural language
higher order
semantic representation
real world
information systems
theorem proving
natural language text
language generation
real time
automated theorem proving
semantic parsing
semantic role labeling
arc consistency
structured data
higher level
website
knowledge base