356 search results - page 49 / 72 » Axiomatizing Causal Reasoning |
IJCAI
1993
15 years 1 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
ATVA
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
SYNTHESE
2008
14 years 11 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
100
click to vote
ALDT
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We axiomatically characterise a class of algorithms for making sequential decisions in situations of complete ignorance. These algorithms assume that a decision maker (DM...
128
click to vote
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...