504 search results - page 67 / 101 » Observational Logic |
FOIS
2008
13 years 10 months ago
2008
Many geographic terms, such as "river" and "lake", are vague, with no clear boundaries of application. In particular, the spatial extent of such features is oft...
JOLLI
2008
13 years 8 months ago
2008
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
JAR
2007
13 years 8 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
JSYML
2007
13 years 8 months ago
2007
We observe that the W∗ -hierarchy, a variant (introduced by Downey, Fellows, and Taylor [8]) of the better known W-hierarchy, coincides with the W-hierarchy, though not level wi...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...