Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dexter Kozen: An Appreciation.. Logic and Program Semantics, volume 7230 of Lecture Notes in Computer Science, page 324-325. Springer, (2012)Reasoning About Procedures as Parameters., , and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 206-220. Springer, (1983)Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus., , and . Reasoning with Uncertainty in Robotics, volume 1093 of Lecture Notes in Computer Science, page 218-220. Springer, (1995)Knowledge-Based Synthesis of Distributed Systems Using Event Structures., , , and . LPAR, volume 3452 of Lecture Notes in Computer Science, page 449-465. Springer, (2004)Plausibility Measures: A General Approach For Representing Uncertainty.. IJCAI, page 1474-1483. Morgan Kaufmann, (2001)Belief, Awareness, and Limited Reasoning: Preliminary Report., and . IJCAI, page 491-501. Morgan Kaufmann, (1985)An Analysis of First-Order Logics of Probability.. IJCAI, page 1375-1381. Morgan Kaufmann, (1989)On Definability in Multimodal Logic., , and . Rev. Symb. Log., 2 (3): 451-468 (2009)Intransitivity and Vagueness.. Rev. Symb. Log., 1 (4): 530-547 (2008)A Modification of the Halpern-Pearl Definition of Causality.. IJCAI, page 3022-3033. AAAI Press, (2015)