. Savić, N., Doder, D., & Ognjanović, Z. A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities, pages 491\textendash500. Springer International Publishing, Cham, 2017. Paper bibtex @inbook {sdo17a,
title = {A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10{\textendash}14, 2017, Proceedings},
year = {2017},
pages = {491{\textendash}500},
publisher = {Springer International Publishing},
organization = {Springer International Publishing},
address = {Cham},
isbn = {978-3-319-61581-3},
url = {2017/sdo17a.pdf},
author = {Nenad Savi{\'c} and Doder, Dragan and Ognjanovi{\'c}, Zoran},
}
Downloads: 0
{"_id":"44W8HeFFjTYLzKhpp","bibbaseid":"savi-doder-ognjanovi-afirstorderlogicforreasoningabouthigherorderupperandlowerprobabilities-2017","authorIDs":[],"author_short":["Savić, N.","Doder, D.","Ognjanović, Z."],"bibdata":{"bibtype":"inbook","type":"inbook","title":"A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities","booktitle":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10\\textendash14, 2017, Proceedings","year":"2017","pages":"491\\textendash500","publisher":"Springer International Publishing","organization":"Springer International Publishing","address":"Cham","isbn":"978-3-319-61581-3","url":"2017/sdo17a.pdf","author":[{"firstnames":["Nenad"],"propositions":[],"lastnames":["Savić"],"suffixes":[]},{"propositions":[],"lastnames":["Doder"],"firstnames":["Dragan"],"suffixes":[]},{"propositions":[],"lastnames":["Ognjanović"],"firstnames":["Zoran"],"suffixes":[]}],"bibtex":"@inbook {sdo17a,\n\ttitle = {A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities},\n\tbooktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10{\\textendash}14, 2017, Proceedings},\n\tyear = {2017},\n\tpages = {491{\\textendash}500},\n\tpublisher = {Springer International Publishing},\n\torganization = {Springer International Publishing},\n\taddress = {Cham},\n\tisbn = {978-3-319-61581-3},\n\turl = {2017/sdo17a.pdf},\n\tauthor = {Nenad Savi{\\'c} and Doder, Dragan and Ognjanovi{\\'c}, Zoran},\n}\n\n\n","author_short":["Savić, N.","Doder, D.","Ognjanović, Z."],"key":"sdo17a","id":"sdo17a","bibbaseid":"savi-doder-ognjanovi-afirstorderlogicforreasoningabouthigherorderupperandlowerprobabilities-2017","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2017/sdo17a.pdf"},"downloads":0},"bibtype":"inbook","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:58.989Z","downloads":0,"keywords":[],"search_terms":["first","order","logic","reasoning","higher","order","upper","lower","probabilities","savić","doder","ognjanović"],"title":"A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities","year":2017,"dataSources":["jFQMeatnEb8qn3qdH"]}