Four Flavors of Entailment.

Sibylle Möhle Roberto Sebastiani Armin Biere

Published in: SAT (2020)

Keyphrases

textual entailment
logic programming
np complete
textual entailment recognition
lexico syntactic
artificial intelligence
monotonicity constraints
information systems
optimal solution
np hard
evolutionary algorithm
neural network
multi agent
multiscale
computer vision
machine learning
real world