Karl Schlechta. Logic, topology and integration. Journal of Automated Reasoning, 14:353--381, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Explaining Updates by Minimal Sums - Schlechta, Dix Self-citation (Schlechta) (Correct)
....is big. Thus, such minimal explanations will be considered best explanations of a given sequence of observations. 6) A classical example of a distance between worlds is the Hamming distance, i.e. the number of propositional variables in which they di#er. Other distances are considered e.g. in [12]. 7) Depending on our assumptions about the world, a number of approaches are possible. First, we can assume an abstract, arbitrary order between explanations, this idea was pursued in [13] Second, we can assume that explanations with repetitions (i.e. the world has not changed at a certain ....
Karl Schlechta. Logic, topology and integration. Journal of Automated Reasoning, 14:353--381, 1995.
Explaining Updates by Minimal Sums - Schlechta, Dix (2000) Self-citation (Schlechta) (Correct)
....is big. Thus, such minimal explanations will be considered best explanations of a given sequence of observations. 6) A classical example of a distance between worlds is the Hamming distance, i.e. the number of propositional variables in which they di er. Other distances are considered e.g. in [12]. 7) Depending on our assumptions about the world, a number of approaches are possible. First, we can assume an abstract, arbitrary order between explanations, this idea was pursued in [13] Second, we can assume that explanations with repetitions (i.e. the world has not changed at a certain ....
Karl Schlechta. Logic, topology and integration. Journal of Automated Reasoning, 14:353-381, 1995.
Explaining Updates by Minimal Sums - Schlechta, Dix (1999) Self-citation (Schlechta) (Correct)
....is big. Thus, such minimal explanations will be considered best explanations of a given sequence of observations. 6) A classical example of a distance between worlds is the Hamming distance, i.e. the number of propositional variables in which they differ. Other distances are considered e.g. in [Sch95a]. 7) Depending on our assumptions about the world, a number of approaches are possible. First, we can assume an abstract, arbitrary order between explanations, this idea was pursued in [Sch95b] Second, we can assume that explanations with repetitions (i.e. the world has not changed at a certain ....
Karl Schlechta. Logic, topology and integration. Journal of Automated Reasoning, 14:353--381, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC