537 search results - page 16 / 108 » A Theory of Inferred Causation |
170
click to vote
TLCA
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
149
Voted
KR
1994
Springer
15 years 10 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
136
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Belief propagation methods are the state-of-the-art with multi-sensor state localization problems. However, when localization applications have to deal with multi-modality sensors...
161
click to vote
CSL
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
189
click to vote
ILP
2007
Springer
16 years 6 days ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...