356 search results - page 18 / 72 » Axiomatizing Causal Reasoning |
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents an axiomatic approach to corner detection. In the first part of the paper we review five currently used corner detection methods (Harris-Stephens, F?orstner, S...
132
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
120
click to vote
CADE
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
JOLLI
2002
14 years 11 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...