{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:25:55Z","timestamp":1725470755396},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540396253"},{"type":"electronic","value":"9783540396277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853886_33","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T12:40:30Z","timestamp":1158151230000},"page":"399-412","source":"Crossref","is-referenced-by-count":8,"title":["Incomplete Knowledge in Hybrid Probabilistic Logic Programs"],"prefix":"10.1007","author":[{"given":"Emad","family":"Saad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning, and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"key":"33_CR2","volume-title":"7th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"C. Baral","year":"2004","unstructured":"Baral, C., et al.: Probabilistic reasoning with answer sets. In: 7th International Conference on Logic Programming and Nonmonotonic Reasoning. Springer, Heidelberg (2004)"},{"key":"33_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-46767-X_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Viegas Dam\u00e1sio","year":"1999","unstructured":"Viegas Dam\u00e1sio, C., Moniz Pereira, L., Swift, T.: Coherent well-founded annotated logic programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS, vol.\u00a01730, p. 262. Springer, Heidelberg (1999)"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Dekhtyar, A., Dekhtyar, I.: Possible worlds semantics for probabilistic logic programs. In: International Conference on Logic Programming, pp. 137\u2013148 (2004)","DOI":"10.1007\/978-3-540-27775-0_10"},{"issue":"3","key":"33_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0743-1066(99)00059-X","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic program. Journal of Logic Programming\u00a043(3), 187\u2013250 (2000)","journal-title":"Journal of Logic Programming"},{"key":"33_CR6","unstructured":"Dekhtyar, M., Dekhtyar, A., Subrahmanian, V.S.: Hybrid Probabilistic Programs: Algorithms and Complexity. In: Proc. of UAI Conference, pp. 160\u2013169 (1999)"},{"issue":"3","key":"33_CR7","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 general logic programs. Journal of ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of ACM"},{"key":"33_CR8","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":"33_CR9","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"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Kersting, K., De Raedt, L.: Bayesian Logic Programs. In: Inductive LP (2000)","DOI":"10.1007\/3-540-44797-0_9"},{"key":"33_CR11","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":"33_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S1471068400001058","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 Theory and Practice of Logic Programming\u00a01(1), 5\u201342 (2001)","journal-title":"Journal of Theory and Practice of Logic Programming"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","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. LNCS, vol.\u00a02441. Springer, Heidelberg (2002)"},{"key":"33_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/978-3-540-45138-9_48","volume-title":"Mathematical Foundations of Computer Science 2003","author":"Y. Loyer","year":"2003","unstructured":"Loyer, Y., Straccia, U.: The approximate well-founded semantics for logic programs with uncertainty. In: Rovan, B., Vojt\u00e1\u0161, P. (eds.) MFCS 2003. LNCS, vol.\u00a02747, pp. 541\u2013550. Springer, Heidelberg (2003)"},{"key":"33_CR15","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: 13th European Conference on Artificial Intelligence, pp. 388\u2013392 (1998)"},{"key":"33_CR16","unstructured":"Muggleton, S.: Stochastic logic programming. In: Proceedings of the 5th International Workshop on Inductive Logic Programming (1995)"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Information & Computation\u00a0101(2) (1992)","DOI":"10.1016\/0890-5401(92)90061-J"},{"key":"33_CR18","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)","DOI":"10.1007\/BF00881836"},{"key":"33_CR19","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Information & Computation\u00a0110(1) (1994)","DOI":"10.1006\/inco.1994.1023"},{"key":"33_CR20","unstructured":"Nicolas, P., Garcia, L., Stphan, I.: Possibilistic stable models. In: International Joint Conference on Artificial Intelligence (2005)"},{"key":"33_CR21","unstructured":"Niemela, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Joint International Conference and Symposium on Logic Programming, pp. 289\u2013303 (1996)"},{"key":"33_CR22","volume-title":"Causality","author":"J. Pearl","year":"2000","unstructured":"Pearl, J.: Causality. Cambridge University Press, Cambridge (2000)"},{"issue":"1-2","key":"33_CR23","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":"33_CR24","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"},{"key":"33_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-30557-6_7","volume-title":"Practical Aspects of Declarative Languages","author":"E. Saad","year":"2005","unstructured":"Saad, E., Pontelli, E.: Towards a more practical hybrid probabilistic logic programming framework. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol.\u00a03350, pp. 67\u201382. Springer, Heidelberg (2005)"},{"key":"33_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/11562931_17","volume-title":"Logic Programming","author":"E. Saad","year":"2005","unstructured":"Saad, E., Pontelli, E.: Hybrid probabilistic logic programs with non-monotonic negation. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 204\u2013220. Springer, Heidelberg (2005)"},{"key":"33_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-27775-0_30","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. LNCS, vol.\u00a03132, pp. 431\u2013445. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853886_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T00:33:47Z","timestamp":1555806827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853886_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540396253","9783540396277"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11853886_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}