Keyphrases
- polynomial hierarchy
- logic programming
- probabilistic logic
- textual entailment
- first order logic
- np complete
- recognizing textual entailment
- transitive closure
- probabilistic reasoning
- datalog programs
- answer sets
- service providers
- neural network
- deductive databases
- function symbols
- textual entailment recognition
- query answering