Login / Signup
Model search with equality: a language and incremental proof procedure for discourse analysis.
Laurent Henocque
Published in:
JFPL (1993)
Keyphrases
</>
probabilistic model
constraint satisfaction problems
constraint satisfaction
formal model
information retrieval
search algorithm
search space
social media
finite state machines