Title | A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities |
Publication Type | Book Chapter |
Year of Publication | 2017 |
Authors | Savić, N, Doder, D, Ognjanović, Z |
Editor | Antonucci, A, Cholvy, L, Papini, O |
Book Title | Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings |
Pagination | 491-500 |
Publisher | Springer International Publishing |
City | Cham |
ISBN Number | 978-3-319-61581-3 |
URL | http://www.iam.unibe.ch/ltgpub/2017/sdo17a.pdf |