2138 search results - page 248 / 428 » Logical Step-Indexed Logical Relations |
161
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...
150
click to vote
AI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...
151
click to vote
CLIMA
2010
15 years 8 months ago
2010
The paper considers interdependencies between secrets in a multiparty system. Each secret is assumed to be known only to a certain fixed set of parties. These sets can be viewed as...
189
click to vote
NAACL
2007
15 years 8 months ago
2007
Previous work on discourse parsing has mostly relied on surface syntactic and lexical features; the use of semantics is limited to shallow semantics. The goal of this thesis is to...
156
click to vote
COLING
1994
15 years 7 months ago
1994
We present an integrated architecture for word-level and sentence-level processing in a unification-based paradigm. The core of the system is a CLP implementation of a nnilication...