386 search results - page 45 / 78 » Contextual Inference in Computational Semantics |
TABLEAUX
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
LOGCOM
2002
13 years 8 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
COLING
2010
13 years 3 months ago
2010
Dynamic sentiment ambiguous adjectives (DSAAs) like "large, small, high, low"pose a challenging task on sentiment analysis. This paper proposes a knowledge-based method ...
COLING
2010
13 years 3 months ago
2010
Lexicalized Well-Founded Grammar (LWFG) is a recently developed syntacticsemantic grammar formalism for deep language understanding, which balances expressiveness with provable le...