What Does Entailment for PTL Mean?

Richard Booth Giovanni Casini Thomas Meyer Ivan José Varzinczak

Published in: AAAI Spring Symposia (2015)

Keyphrases

propositional logic
np complete
textual entailment
logic programming
belief revision
recognizing textual entailment
database
probabilistic logic
lexico syntactic
databases
case study
multi agent
search algorithm
computational complexity
textual entailment recognition