UIO-Lien: Entailment Recognition using Minimal Recursion Semantics.

Elisabeth Lien Milen Kouylekov

Published in: SemEval@COLING (2014)

Keyphrases

logic programming
deductive databases
semantic information
formal semantics
conceptual model
model theoretic
database
operational semantics
np complete
default reasoning