| 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 |
