A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities

TitleA First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities
Publication TypeBook Chapter
Year of Publication2017
AuthorsSavić, N, Doder, D, Ognjanović, Z
EditorAntonucci, A, Cholvy, L, Papini, O
Book TitleSymbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings
Pagination491–500
PublisherSpringer International Publishing
CityCham
ISBN Number978-3-319-61581-3