Constructing Different Phonological Bracketings from a Proof Net.

Denis Béchet Philippe de Groote

Published in: LACL (1996)

Keyphrases

theorem prover
logical rules
information systems
working memory
real time
learning algorithm
artificial intelligence
social networks
bayesian networks
hidden markov models
geometry theorem proving