{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:09:41Z","timestamp":1725491381715},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752554"},{"type":"electronic","value":"9783540752561"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75256-1_18","type":"book-chapter","created":{"date-parts":[[2007,9,13]],"date-time":"2007-09-13T13:20:53Z","timestamp":1189689653000},"page":"173-186","source":"Crossref","is-referenced-by-count":6,"title":["A Logical Approach to Qualitative and Quantitative Reasoning"],"prefix":"10.1007","author":[{"given":"Emad","family":"Saad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Baral, C., et al.: Probabilistic reasoning with answer sets. In: LPNMR (2004)","key":"18_CR1","DOI":"10.1007\/978-3-540-24609-1_5"},{"key":"18_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054788","volume-title":"Logic Programming and Knowledge Representation","author":"G. Brewka","year":"1998","unstructured":"Brewka, G., Dix, J.: Knowledge representation with logic programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471. Springer, Heidelberg (1998)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-27775-0_10","volume-title":"Logic Programming","author":"A. Dekhtyar","year":"2004","unstructured":"Dekhtyar, A., Dekhtyar, I.: Possible worlds semantics for probabilistic logic programs. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004, vol.\u00a03132, pp. 137\u2013148. Springer, Heidelberg (2004)"},{"issue":"3","key":"18_CR4","first-page":"187","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic program. Journal of LP\u00a043(3), 187\u2013250 (2000)","journal-title":"Journal of LP"},{"unstructured":"Dekhtyar, M., Dekhtyar, A., Subrahmanian, V.S.: Hybrid Probabilistic Programs: Algorithms and Complexity. In: UAI, pp. 160\u2013169 (1999)","key":"18_CR5"},{"unstructured":"Eiter, T., Lukasiewicz, T.: Probabilistic reasoning about actions in nonmonotonic causal theories. In: UAI, pp. 192\u2013199 (2003)","key":"18_CR6"},{"doi-asserted-by":"crossref","unstructured":"Eiter, T., et al.: Declarative problem solving in DLV. In: LBAI (2000)","key":"18_CR7","DOI":"10.1007\/978-1-4615-1567-8_4"},{"issue":"3","key":"18_CR8","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for generallogic programs. Journal of ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of ACM"},{"key":"18_CR9","volume-title":"ICSLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICSLP. MIT Press, Cambridge (1988)"},{"issue":"3-4","key":"18_CR10","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3-4), 363\u2013385 (1991)","journal-title":"New Generation Computing"},{"issue":"4","key":"18_CR11","first-page":"843","volume":"56","author":"J. Halpern","year":"2005","unstructured":"Halpern, J., Pearl, J.: Causes and explanations: A structural-model approach. Part I: Causes. The British Journal for the Philosophy of Science\u00a056(4), 843\u2013887 (2005)","journal-title":"Part I: Causes. The British Journal for the Philosophy of Science"},{"doi-asserted-by":"crossref","unstructured":"Kersting, K., De Raedt, L.: Bayesian Logic Programs. In: Inductive LP (2000)","key":"18_CR12","DOI":"10.1007\/3-540-44797-0_9"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming\u00a012, 335\u2013367 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"18_CR14","first-page":"5","volume":"1","author":"L.V.S. Lakshmanan","year":"2001","unstructured":"Lakshmanan, L.V.S., Sadri, F.: On a theory of probabilistic deductive databases. Journal of TPLP\u00a01(1), 5\u201342 (2001)","journal-title":"Journal of TPLP"},{"key":"18_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45788-7_9","volume-title":"Functional and Logic Programming","author":"Y. Loyer","year":"2002","unstructured":"Loyer, Y., Straccia, U.: The well-founded semantics in normal logic programs with uncertainty. In: Hu, Z., Rodr\u00edguez-Artalejo, M. (eds.) FLOPS 2002, vol.\u00a02441. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Loyer, Y., Straccia, U.: The approximate well-founded semantics for logic programs with uncertainty. In: Int. Symp. on Math. Found. of CS (2003)","key":"18_CR16","DOI":"10.1007\/978-3-540-45138-9_48"},{"unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: JELIA, pp. 388\u2013392 (1998)","key":"18_CR17"},{"key":"18_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46767-X_20","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T.: Many-valued disjunctive logic programs with probabilistic semantics. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730. Springer, Heidelberg (1999)"},{"key":"18_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013073","volume-title":"Logic Programming and Automated Reasoning","author":"J. Fernandez","year":"1992","unstructured":"Fernandez, J., Minker, J.: Disjunctive deductive databases. In: Voronkov, A. (ed.) LPAR 1992, vol.\u00a0624. Springer, Heidelberg (1992)"},{"unstructured":"Muggleton, S.: Stochastic logic programming. In: International Workshop on ILP (1995)","key":"18_CR20"},{"doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Information &Computation\u00a0101(2) (1992)","key":"18_CR21","DOI":"10.1016\/0890-5401(92)90061-J"},{"doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: A semantical framework for supporting subjective and conditional probabilities in deductive databases. ARJ\u00a010(2) (1993)","key":"18_CR22","DOI":"10.1007\/BF00881836"},{"doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Information & Computation 110(1) (1994)","key":"18_CR23","DOI":"10.1006\/inco.1994.1023"},{"unstructured":"Niemela, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Joint International Conference and Symposium on LP (1996)","key":"18_CR24"},{"issue":"1-2","key":"18_CR25","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"Poole, D.: The Independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence\u00a094(1-2), 7\u201356 (1997)","journal-title":"Artificial Intelligence"},{"key":"18_CR26","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0743-1066(99)00071-0","volume":"44","author":"D. Poole","year":"2000","unstructured":"Poole, D.: Abducing through negation as failure: stable models within the independent choice logic. Journal of Logic Programming\u00a044, 5\u201335 (2000)","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Saad, E.: Incomplete knowlege in hybrid probabilistic logic programs. In: JELIA (2006)","key":"18_CR27","DOI":"10.1007\/11853886_33"},{"doi-asserted-by":"crossref","unstructured":"Saad, E., Pontelli, E.: Towards a more practical hybrid probabilistic logic programming framework. In: PADL (2005)","key":"18_CR28","DOI":"10.1007\/978-3-540-30557-6_7"},{"issue":"3-4","key":"18_CR29","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10472-007-9048-3","volume":"48","author":"E. Saad","year":"2006","unstructured":"Saad, E., Pontelli, E.: A new approach to hybrid probabilistic logic programs. Annals of Mathematics and Artificial Intelligence Journal\u00a048(3-4), 187\u2013243 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence Journal"},{"key":"18_CR30","volume-title":"Logic Programming","author":"J. Vennekens","year":"2004","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004, vol.\u00a03132. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75256-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T01:45:38Z","timestamp":1556847938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75256-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540752554","9783540752561"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75256-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}