Sciweavers

6618 search results - page 390 / 1324
» Natural Logic for Natural Language
Sort
View
ICFP
2005
ACM
16 years 6 months ago
Monadic augment and generalised short cut fusion
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo ...
CORR
2002
Springer
141views Education» more  CORR 2002»
15 years 6 months ago
Question answering: from partitions to Prolog
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
Balder ten Cate, Chung-chieh Shan
JAR
2010
123views more  JAR 2010»
15 years 5 months ago
A Framework for Proof Systems
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
Vivek Nigam, Dale Miller
SLOGICA
2008
135views more  SLOGICA 2008»
15 years 6 months ago
A Way to Interpret Lukasiewicz Logic and Basic Logic
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
Thomas Vetterlein
EACL
2009
ACL Anthology
16 years 7 months ago
Semitic Morphological Analysis and Generation Using Finite State Transducers with Feature Structures
This paper presents an application of finite state transducers weighted with feature structure descriptions, following Amtrup (2003), to the morphology of the Semitic language Tig...
Michael Gasser