1162 search results - page 155 / 233 » Monotonic Semantic Interpretation |
105
Voted
CORR
2007
Springer
15 years 17 days 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...
90
Voted
AI
2004
Springer
15 years 14 days 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...
113
Voted
CORR
2002
Springer
15 years 11 days 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...
95
Voted
JANCL
2002
15 years 8 days 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...
93
Voted
ACL
2012
13 years 3 months ago
2012
Interpreting news requires identifying its constituent events. Events are complex linguistically and ontologically, so disambiguating their reference is challenging. We introduce ...