1059 search results - page 141 / 212 » Unification-Based Semantic Interpretation |
124
Voted
IAJIT
2006
15 years 4 months ago
2006
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...
133
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...
123
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
155
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
129
click to vote
JANCL
2002
15 years 4 months ago
2002
In [8, 6] we introduced a family of `modal' languages intended for talking about distances. These languages are interpreted in `distance spaces' which satisfy some (or a...