Horn sentences in Post algebras.

Dragic Bankovic

Published in: Discret. Math. (1997)

Keyphrases

np hard
natural language
maximal tractable
text summarization
spatial reasoning
multi document summarization
machine learning
temporal reasoning
propositional logic
knowledge compilation
sentence level
linguistic features
sentence retrieval
relation algebra
syntactic structures
special case
knowledge base