Ticket Entailment is decidable

Vincent Padovani

Published in: CoRR (2011)

Keyphrases

polynomial hierarchy
logic programming
service providers
first order logic
textual entailment
np complete
probabilistic logic
transitive closure
dl lite
artificial intelligence
lexico syntactic
dnf formulas
function symbols
linear time temporal logic
data sets
answer sets
web services
databases