Extraction of Templates from Phrases Using Sequence Binary Decision Diagrams.

Daiki Hirano Kumiko Tanaka-Ishii Andrew M. Finch

Published in: CoRR (2020)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
information extraction
planning problems
information retrieval
xml documents
natural language processing
model checking
knowledge compilation