{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T10:23:40Z","timestamp":1750328620284,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540776833"},{"type":"electronic","value":"9783540776840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77684-0_17","type":"book-chapter","created":{"date-parts":[[2008,1,29]],"date-time":"2008-01-29T07:33:44Z","timestamp":1201592024000},"page":"239-252","source":"Crossref","is-referenced-by-count":18,"title":["A Probabilistic Logic with Polynomial Weight Formulas"],"prefix":"10.1007","author":[{"given":"Aleksandar","family":"Perovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Ognjanovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miodrag","family":"Ra\u0161kovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Markovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Canny, J.: Some algebraic and geometric computations in PSPACE. In: Proc. of XX ACM Symposium on theory of computing, pp. 460\u2013467 (1978)","key":"17_CR1","DOI":"10.1145\/62212.62257"},{"issue":"1\u20132","key":"17_CR2","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation\u00a087(1\u20132), 78\u2013128 (1990)","journal-title":"Information and Computation"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/game.1999.0788","volume":"35","author":"A. Heifetz","year":"2001","unstructured":"Heifetz, A., Mongin, P.: Probability logic for type spaces. Games and economic behavior\u00a035, 31\u201353 (2001)","journal-title":"Games and economic behavior"},{"unstructured":"Lehmann, D.: Generalized qualitative probability: Savage revisited. In: Horvitz, E., Jensen, F. (eds.) UAI 1996. Procs. of 12th Conference on Uncertainty in Artificial Intelligence, pp. 381\u2013388 (1996)","key":"17_CR4"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1014445017537","volume":"34","author":"T. Lukasiewicz","year":"2002","unstructured":"Lukasiewicz, T.: Probabilistic Default Reasoning with Conditional Constraints. Annals of Mathematics and Artificial Intelligence\u00a034, 35\u201388 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"3","key":"17_CR6","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.ijar.2006.07.015","volume":"44","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation. International Journal of Approximate Reasoning\u00a044(3), 301\u2013321 (2007)","journal-title":"International Journal of Approximate Reasoning"},{"key":"17_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-3-540-30227-8_20","volume-title":"Logics in Artificial Intelligence","author":"E. Marchioni","year":"2004","unstructured":"Marchioni, E., Godo, L.: A Logic for Reasoning about Coherent Conditional Probability: A Modal Fuzzy Logic Approach. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 213\u2013225. Springer, Heidelberg (2004)"},{"unstructured":"Meier, M.: An infinitary probability logic for type spaces. Israel J. of Mathematics, \u221e\u00a0","key":"17_CR8"},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00247745","volume":"9","author":"L. Narens","year":"1980","unstructured":"Narens, L.: On qualitative axiomatizations for probability theory. Journal of Philosophical Logic\u00a09(2), 143\u2013151 (1980)","journal-title":"Journal of Philosophical Logic"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. Artificial intelligence\u00a028, 71\u201387 (1986)","journal-title":"Artificial intelligence"},{"issue":"74","key":"17_CR11","first-page":"1","volume":"60","author":"Z. Ognjanovi\u0107","year":"1996","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: A logic with higher order probabilities. Publications de l\u2019institut mathematique, Nouvelle s\u00e9rie, tome\u00a060(74), 1\u20134 (1996)","journal-title":"Publications de l\u2019institut mathematique, Nouvelle s\u00e9rie, tome"},{"issue":"2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1093\/logcom\/9.2.181","volume":"9","author":"Z. Ognjanovi\u0107","year":"1999","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some probability logics with new types of probability operators. J. Logic Computat.\u00a09(2), 181\u2013195 (1999)","journal-title":"J. Logic Computat."},{"issue":"1\u20132","key":"17_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0304-3975(98)00341-7","volume":"247","author":"Z. Ognjanovi\u0107","year":"2000","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some first-order probability logics. Theoretical Computer Science\u00a0247(1\u20132), 191\u2013212 (2000)","journal-title":"Theoretical Computer Science"},{"unstructured":"Ognjanovi\u0107, Z., Timotijevi\u0107, T., Stanojevi\u0107, A.: Database of papers about probability logics. Mathematical institute Belgrade (2005), http:\/\/problog.mi.sanu.ac.yu\/","key":"17_CR14"},{"issue":"92","key":"17_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.2298\/PIM0578035O","volume":"78","author":"Z. Ognjanovi\u0107","year":"2005","unstructured":"Ognjanovi\u0107, Z., Markovi\u0107, Z., Ra\u0161kovi\u0107, M.: Completeness Theorem for a Logic with imprecise and conditional probabilities. Publications de L\u2019Institute Matematique (Beograd)\u00a078(92), 35\u201349 (2005)","journal-title":"Publications de L\u2019Institute Matematique (Beograd)"},{"doi-asserted-by":"crossref","unstructured":"Ognjanovi\u0107, Z., Perovi\u0107, A., Ra\u0161kovi\u0107, M.: Logic with the qualitative probability operator. Logic journal of IGPL, doi:10.1093\/jigpal\/jzm031","key":"17_CR16","DOI":"10.1093\/jigpal\/jzm031"},{"issue":"67","key":"17_CR17","first-page":"1","volume":"53","author":"M. Ra\u0161kovi\u0107","year":"1993","unstructured":"Ra\u0161kovi\u0107, M.: Classical logic with some probability operators. Publications de l\u2019institut mathematique, Nouvelle s\u00e9rie, tome\u00a053(67), 1\u20133 (1993)","journal-title":"Publications de l\u2019institut mathematique, Nouvelle s\u00e9rie, tome"},{"issue":"79","key":"17_CR18","first-page":"1","volume":"65","author":"M. Ra\u0161kovi\u0107","year":"1999","unstructured":"Ra\u0161kovi\u0107, M., Ognjanovi\u0107, Z.: A first order probability logic LP Q . Publications de l\u2019institut mathematique, Nouvelle s\u00e9rie, tome\u00a065(79), 1\u20137 (1999)","journal-title":"Publications de l\u2019institut mathematique, Nouvelle s\u00e9rie, tome"},{"key":"17_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-540-30227-8_21","volume-title":"Logics in Artificial Intelligence","author":"M. Ra\u0161kovi\u0107","year":"2004","unstructured":"Ra\u0161kovi\u0107, M., Ognjanovi\u0107, Z., Markovi\u0107, Z.: A logic with Conditional Probabilities. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 226\u2013238. Springer, Heidelberg (2004)"},{"issue":"3","key":"17_CR20","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1080\/11663081.1997.10510916","volume":"7","author":"W. Hoek van der","year":"1997","unstructured":"van der Hoek, W.: Some considerations on the logic P F D: a logic combining modality and probability. Journal of Applied Non-Classical Logics\u00a07(3), 287\u2013307 (1997)","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77684-0_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,26]],"date-time":"2025-01-26T10:41:18Z","timestamp":1737888078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77684-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540776833","9783540776840"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77684-0_17","relation":{},"subject":[]}}