Generation as Deduction on Labelled Proof Nets.

Josep M. Merenciano Glyn Morrill

Published in: LACL (1996)

Keyphrases

theorem proving
theorem prover
automated theorem proving
automated theorem provers
inference rules
proof search
proof procedure
geometry theorem proving
data mining
decision making
similarity measure
natural language