{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:39Z","timestamp":1725558939498},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540243625"},{"type":"electronic","value":"9783540305576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30557-6_7","type":"book-chapter","created":{"date-parts":[[2010,7,2]],"date-time":"2010-07-02T17:53:17Z","timestamp":1278093197000},"page":"67-82","source":"Crossref","is-referenced-by-count":11,"title":["Towards a More Practical Hybrid Probabilistic Logic Programming Framework"],"prefix":"10.1007","author":[{"given":"Emad","family":"Saad","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"7_CR1","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":"7_CR2","unstructured":"Dekhtyar, M., Dekhtyar, A., Subrahmanian, V.S.: Hybrid Probabilistic Programs: Algorithms and Complexity. In: Proc. of UAI Conference, pp. 160\u2013169 (1999)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. Journal of Logic Programming\u00a03, 267\u2013284 (1984)","journal-title":"Journal of Logic Programming"},{"key":"7_CR4","volume-title":"ICLP","author":"D. Dubois","year":"1991","unstructured":"Dubois, D., et al.: Towards Possibilistic Logic Programming. In: ICLP. MIT Press, Cambridge (1991)"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FI-1988-11206","volume":"11","author":"M.C. Fitting","year":"1988","unstructured":"Fitting, M.C.: Logic Programming on A Topological Bilattice. Fundamenta Informaticae\u00a011, 209\u2013218 (1988)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M.C. Fitting","year":"1991","unstructured":"Fitting, M.C.: Bilattices and The Semantics of Logic Programming. Journal of Logic Programming\u00a011, 91\u2013116 (1991)","journal-title":"Journal of Logic Programming"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Kersting, K., De Raedt, L.: Bayesian Logic Programs. Inductive LP (2000)","DOI":"10.1007\/3-540-44797-0_9"},{"key":"7_CR8","volume-title":"Intl. Conf. on Database Theory","author":"M. Kifer","year":"1988","unstructured":"Kifer, M., Li, A.: On The Semantics of Rule-Based Expert Systems with Uncertainty. In: Intl. Conf. on Database Theory. Springer, Heidelberg (1988)"},{"key":"7_CR9","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-2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0004-3702(94)00087-H","volume":"76","author":"N. Kushmerick","year":"1995","unstructured":"Kushmerick, N., Hanks, S., Weld, D.: An Algorithm for Probabilistic Planning. Artificial Intelligence\u00a076(1-2), 239\u2013286 (1995)","journal-title":"Artificial Intelligence"},{"key":"7_CR11","volume-title":"Conf. on Database Expert Systems and Applications","author":"V.S.L. Lakshmanan","year":"1994","unstructured":"Lakshmanan, V.S.L., Sadri, F.: Modeling Uncertainty in Deductive Databases. In: Conf. on Database Expert Systems and Applications. Springer, Heidelberg (1994)"},{"key":"7_CR12","volume-title":"Intl. Logic Programming Symposium","author":"V.S.L. Lakshmanan","year":"1994","unstructured":"Lakshmanan, V.S.L., Sadri, F.: Probabilistic Deductive Databases. In: Intl. Logic Programming Symposium. MIT Press, Cambridge (1994)"},{"issue":"8","key":"7_CR13","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1016\/S0306-4379(97)00030-6","volume":"22","author":"V.S.L. Lakshmanan","year":"1997","unstructured":"Lakshmanan, V.S.L., Sadri, F.: Uncertain Deductive Databases: A Hybrid Approach. Information Systems\u00a022(8), 483\u2013508 (1997)","journal-title":"Information Systems"},{"issue":"4","key":"7_CR14","first-page":"554","volume":"13","author":"V.S.L. Lakshmanan","year":"2001","unstructured":"Lakshmanan, V.S.L., Shiri, N.: A Parametric Approach to Deductive Databases with Uncertainty. IEEE TKDE\u00a013(4), 554\u2013570 (2001)","journal-title":"IEEE TKDE"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF00712385","volume":"6","author":"S.M. Leach","year":"1996","unstructured":"Leach, S.M., Lu, J.J.: Query Processing in Annotated Logic Programming. Journal of Intelligent Information Systems\u00a06(1), 33\u201358 (1996)","journal-title":"Journal of Intelligent Information Systems"},{"key":"7_CR16","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":"7_CR17","volume-title":"ICLP","author":"J.J. Lu","year":"1994","unstructured":"Lu, J.J., et al.: Computing Annotated Logic Programs. In: ICLP. MIT Press, Cambridge (1994)"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R.T. Ng","year":"1992","unstructured":"Ng, R.T., Subrahmanian, V.S.: Probabilistic Logic Programming. Information and Computation\u00a0101(2), 150\u2013201 (1992)","journal-title":"Information and Computation"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive DBs. J. Automated Reasoning\u00a010(2) (1993)","DOI":"10.1007\/BF00881836"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1006\/inco.1994.1023","volume":"110","author":"R.T. Ng","year":"1994","unstructured":"Ng, R.T., Subrahmanian, V.S.: Stable Semantics for Probabilistic Deductive Databases. Information and Computation\u00a0110(1), 42\u201383 (1994)","journal-title":"Information and Computation"},{"key":"7_CR21","unstructured":"Sato, T., Kameya, Y.: PRISM: Language for Symbolic-Statistical Modeling. In: IJCAI (1997)"},{"key":"7_CR22","unstructured":"Shapiro, E.: Logic Programs with Uncertainties: A Tool for Implementing Expert Systems. In: Proc. of IJCAI, pp. 529\u2013532 (1983)"},{"key":"7_CR23","first-page":"173","volume-title":"Symp. on Logic Programming","author":"V.S. Subrahmanian","year":"1987","unstructured":"Subrahmanian, V.S.: On The Semantics of Quantitative Logic Programs. In: Symp. on Logic Programming, pp. 173\u2013182. IEEE Computer Society, Los Alamitos (1987)"},{"issue":"1","key":"7_CR24","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"4","author":"M.H. Emden van","year":"1986","unstructured":"van Emden, M.H.: Quantitative Deduction and Its Fixpoint Theory. Journal of Logic Programming\u00a04(1), 37\u201353 (1986)","journal-title":"Journal of Logic Programming"},{"key":"7_CR25","unstructured":"Vennekens, J., Verbaeten, S.: A General View on Probabilistic Logic Programming. In: Belgian-Dutch Conference on AI (2003)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30557-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T17:30:23Z","timestamp":1635615023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30557-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540243625","9783540305576"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30557-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}