356 search results - page 4 / 72 » Axiomatizing Causal Reasoning |
103
click to vote
CSL
1997
Springer
15 years 3 months ago
1997
Springer
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...
LICS
1997
IEEE
15 years 3 months ago
1997
IEEE
IJCAI
1997
15 years 1 months ago
1997
We consider the frame problem, that is, char acterizing the assumption that properties tend to persist over time. We show that there are at least three distinct assumptions that...
101
click to vote
AGI
2011
14 years 3 months ago
2011
Abstract. Non-Axiomatic Logic (NAL) is designed for intelligent reasoning, and can be used in a system that has insufficient knowledge and resources with respect to the problems to...
102
click to vote
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...