Search Sciweavers | Sciweavers

1455 search results - page 8 / 291

» Programming in Logic with Constraints for Natural Language P...

click to vote

EMNLP
2010

133views Natural Language Processing» more EMNLP 2010»

On Dual Decomposition and Linear Programming Relaxations for Natural Language Processing

13 years 5 months ago

Download people.csail.mit.edu

This paper introduces dual decomposition as a framework for deriving inference algorithms for NLP problems. The approach relies on standard dynamic-programming algorithms as oracl...

Alexander M. Rush, David Sontag, Michael Collins, ...

claim paper

Read More »

click to vote

CADE
2008
Springer

185views Logical Reasoning» more CADE 2008»

Combining Theorem Proving with Natural Language Processing

14 years 8 months ago

Download www.uni-koblenz.de

Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...

Björn Pelzer, Ingo Glöckner

claim paper

Read More »

click to vote

AUSAI
2005
Springer

158views Artificial Intelligence» more AUSAI 2005»

A Controlled Natural Language Layer for the Semantic Web

14 years 1 months ago

Download www.itu.dk

In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the ﬁrs...

Rolf Schwitter

claim paper

Read More »

click to vote

FDL
2008
IEEE

107views Natural Language Processing» more FDL 2008»

UML 2.0 Interactions with OCL/RT Constraints

14 years 2 months ago