J. Halpern, (1989) An Analysius of First Order Logics of Probability, Artificial Intellegence, 46, pp. 311-350  Home/Search   Document Not in Database   Summary   Related Articles

....for most of the subsequent probabilistic logics. T. Hailperin ( 28] was one of the first to develop such a very general logic for reasoning with probabilistic information. A very thorough study of probabilistic logics and their properties had been conducted by by Fagin, Halpern et al. [21, 23, 29, 1]) The logics they proposed extended their modal logics of knowledge and belief ( 22] and it had been shown Abadi and Halpern ( 1] that they cannot be finitely axiomatized. This was due to the great expressive power of their logics. While interesting from theoretical point of view, this logic ....

....who, in a series of papers [42, 43, 44] developed techniques for probabilistic logic programming under the assumption of ignorance (see Section 2. 1 for more detailed description of this work) Their work built upon earlier work on probabilistic logics due to Fagin, Halpern and and others [21, 23, 29, 1], Hailperin [28] and Nilsson [45] In contrast, Kiessling and his group [27, 53, 46] have developed a framework called DUCK for reasoning with uncertainty. They provide an elegant logical axiomatic theory for uncertain 80 reasoning in the presence of rules, and using the independence ....

J. Halpern, (1989) An Analysius of First Order Logics of Probability, Artificial Intellegence, 46, pp. 311-350

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