Using X-Calculus to Represent Meanings in Logic Grammars.

David Scott Warren

Published in: ACL (1983)

Keyphrases

formal language
natural language
computer algebra
algebraic structure
logic programming
proof procedure
asynchronous circuits
proof search
natural language processing
context sensitive
theorem proving
automated reasoning
multi valued
computational properties
grammatical inference