{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:37:29Z","timestamp":1726033049061},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030221010"},{"type":"electronic","value":"9783030221027"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22102-7_13","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T12:21:26Z","timestamp":1561465286000},"page":"286-300","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extending $$\\mathscr {E\\!L}^{++}$$ with Linear Constraints on the Probability of Axioms"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,1]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proceedings of IJCAI 2005, San Francisco, CA, USA, pp. 364\u2013369. Morgan Kaufmann Publishers Inc. (2005a)","DOI":"10.25368\/2022.144"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. Technical report LTCS-Report LTCS-05-01 (2005b)","DOI":"10.25368\/2022.144"},{"key":"13_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"key":"13_CR4","volume-title":"Introduction to Linear Optimization","author":"D Bertsimas","year":"1997","unstructured":"Bertsimas, D., Tsitsiklis, J.N.: Introduction to Linear Optimization. Athena Scientific, Belmont (1997)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bona, G.D., Cozman, F.G., Finger, M.: Towards classifying propositional probabilistic logics. J. Appl. Logic 12(3), 349\u2013368 (2014)","DOI":"10.1016\/j.jal.2014.01.005"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Eckhoff, J.: Helly, Radon, and Carath\u00e9odory type theorems. In: Handbook of Convex Geometry, pp. 389\u2013448. Elsevier (1993)","DOI":"10.1016\/B978-0-444-89596-7.50017-1"},{"key":"13_CR7","unstructured":"Finger, M., Bona, G.D.: Probabilistic satisfiability: logic-based algorithms and phase transition. In: IJCAI 2011, pp. 528\u2013533 (2011)"},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10472-015-9466-6","volume":"75","author":"M Finger","year":"2015","unstructured":"Finger, M., De Bona, G.: Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Ann. Math. Artif. Intell. 75(3), 351\u2013379 (2015)","journal-title":"Ann. Math. Artif. Intell."},{"key":"13_CR9","unstructured":"Finger, M., Wassermann, R., Cozman, F.G.: Satisfiability in EL with sets of probabilistic ABoxes. In: Rosati et al. (2011)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez-Basulto, V., Jung, J.C., Lutz, C., Schr\u00f6der, L.: A closer look at the probabilistic description logic Prob-EL. In: AAAI 2011 (2011)","DOI":"10.1609\/aaai.v25i1.7856"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5222","volume":"58","author":"V Guti\u00e9rrez-Basulto","year":"2017","unstructured":"Guti\u00e9rrez-Basulto, V., Jung, J.C., Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. JAIR 58, 1\u201366 (2017)","journal-title":"JAIR"},{"key":"13_CR12","first-page":"311","volume-title":"Uncertainty Proceedings 1994","author":"Jochen Heinsohn","year":"1994","unstructured":"Heinsohn, J.: Probabilistic description logics. In: Proceedings of UAI 1994, pp. 311\u2013318 (1994)"},{"key":"13_CR13","unstructured":"Jung, J.C., Guti\u00e9rrez-Basulto, V., Lutz, C., Schr\u00f6der, L.: The complexity of probabilistic EL. In: Rosati et al. (2011)"},{"issue":"6","key":"13_CR14","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6), 852\u2013883 (2008)","journal-title":"Artif. Intell."},{"key":"13_CR15","unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. In: KR 2010. AAAI Press (2010)"},{"key":"13_CR16","unstructured":"Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.): Proceedings of DL 2011. CEUR Workshop Proceedings, vol. 745. CEUR-WS.org (2011)"},{"issue":"2","key":"13_CR17","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0020-0190(98)00144-6","volume":"68","author":"JP Warners","year":"1998","unstructured":"Warners, J.P.: A linear-time transformation of linear inequalities into conjunctive normal form. Inf. Process. Lett. 68(2), 63\u201369 (1998)","journal-title":"Inf. Process. Lett."}],"container-title":["Lecture Notes in Computer Science","Description Logic, Theory Combination, and All That"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22102-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,21]],"date-time":"2022-09-21T20:26:30Z","timestamp":1663791990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22102-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030221010","9783030221027"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22102-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}