Search Sciweavers | Sciweavers

This paper presents the ﬁrst empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...

Yuk Wah Wong, Raymond J. Mooney

claim paper

Read More »

144

click to vote

COLING
2008

114views Computational Linguistics» more COLING 2008»

Efficiently Parsing with the Product-Free Lambek Calculus

15 years 8 months ago

Download www.aclweb.org

Timothy A. D. Fowler

claim paper

Read More »

124

Voted

IJCAI
2007

166views Artificial Intelligence» more IJCAI 2007»

Decidable Reasoning in a Modified Situation Calculus

15 years 8 months ago

Download www.cs.toronto.edu

Yilan Gu, Mikhail Soutchanski

claim paper

Read More »

117

click to vote

TMFCS
2008

115views Computer Science» more TMFCS 2008»

Encoding cryptographic primitives in a calculus with polyadic synchronization

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers