On the decidability of implicational ticket entailment.
Katalin BimbóJ. Michael DunnPublished in: J. Symb. Log. (2013)
Keyphrases
- description logics
- textual entailment
- service providers
- logic programming
- query answering
- np complete
- probabilistic logic
- recognizing textual entailment
- type checking
- decision procedures
- neural network
- real world
- textual entailment recognition
- monotonicity constraints
- wordnet
- automata theoretic
- expressive power
- database
- co occurrence
- computational complexity
- bayesian networks
- data mining
- databases