Elisabeth Lien

Semantic Parsing for Textual Entailment

Milen Kouylekov, Elisabeth Lien, Milen Kouylekov, 2015, IWPT.

Formal Modelling and Analysis of the NORM Multicast Protocol Using Real-Time Maude

Elisabeth Lien, Elisabeth Lien, 2004 .

UIO-Lien: Entailment Recognition using Minimal Recursion Semantics

Milen Kouylekov, Elisabeth Lien, 2014, SemEval@COLING.

Using Minimal Recursion Semantics for Entailment Recognition

Elisabeth Lien, 2014, EACL.

Formal Modeling and Analysis of an IETF Multicast Protocol

Peter Csaba Ölveczky, Elisabeth Lien, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.