Negation Elimination for Finite PCFGs.

Taisuke Sato Yoshitaka Kameya

Published in: LOPSTR (2004)

Keyphrases

logic programs
deductive databases
finite number
information retrieval
databases
logic programming
database
knowledge representation
horn clauses