Author of the publication

A First-Order Dynamic Probability Logic.

, , and . ECSQARU, volume 7958 of Lecture Notes in Computer Science, page 461-472. Springer, (2013)

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

A Probabilistic Logic for Reasoning about Uncertain Temporal Information., and . UAI, page 248-257. AUAI Press, (2015)A First-order Logic for Reasoning about Knowledge and Probability., , and . ACM Trans. Comput. Log., 21 (2): 16:1-16:30 (2020)A probabilistic approach to default reasoning., , and . NMR, page 335-341. (2004)Probability Logics - Probability-Based Formalization of Uncertain Reasoning, , and . Springer, (2016)Finitely Additive Probability Measures in Automated Medical Diagnostics., , and . IPMU (2), volume 443 of Communications in Computer and Information Science, page 10-19. Springer, (2014)A Probabilistic Temporal Logic That Can Model Reasoning about Evidence., , , , and . FoIKS, volume 5956 of Lecture Notes in Computer Science, page 9-24. Springer, (2010)Justification Logic with Approximate Conditional Probabilities., , and . LORI, volume 10455 of Lecture Notes in Computer Science, page 681-686. Springer, (2017)Qualitative Possibilities and Necessities., , , and . ECSQARU, volume 5590 of Lecture Notes in Computer Science, page 651-662. Springer, (2009)Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019)., and . Int. J. Approx. Reason., (2021)Automated non-monotonic reasoning in System P., , , and . Ann. Math. Artif. Intell., 89 (5-6): 471-509 (2021)