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

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)An Analysis of First-Order Logics of Probability.. IJCAI, page 1375-1381. Morgan Kaufmann, (1989)Belief, Awareness, and Limited Reasoning: Preliminary Report., and . IJCAI, page 491-501. Morgan Kaufmann, (1985)A Modification of the Halpern-Pearl Definition of Causality.. IJCAI, page 3022-3033. AAAI Press, (2015)Minimum-energy mobile wireless networks revisited., and . ICC, page 278-283. IEEE, (2001)Decision Procedures and Expressiveness in the Temporal Logic of Branching Time, and . STOC, page 169-180. ACM, (1982)Partial Awareness., and . CoRR, (2018)