Keyphrases
- inductive logic programming
- logic programming
- iterative methods
- textual entailment
- np complete
- recognizing textual entailment
- partially observable environments
- probabilistic logic
- databases
- logic programs
- question answering
- background knowledge
- computationally expensive
- relational learning
- description logics
- textual entailment recognition