On existentially first-order definable languages and their relation to NP.

Bernd Borchert Dietrich Kuske Frank Stephan

Published in: RAIRO Theor. Informatics Appl. (1999)

Keyphrases

first order logic
expressive power
higher order
language independent
transitive closure
databases
computational complexity
np hard
inference rules
multi lingual
horn clauses
binary relations
standard model
knowledge representation
cross lingual
text summarization