{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T15:17:02Z","timestamp":1648567022078},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T00:00:00Z","timestamp":1180137600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2007,6,21]]},"DOI":"10.1007\/s10472-007-9048-3","type":"journal-article","created":{"date-parts":[[2007,5,25]],"date-time":"2007-05-25T11:52:08Z","timestamp":1180093928000},"page":"187-243","source":"Crossref","is-referenced-by-count":10,"title":["A new approach to hybrid probabilistic logic programs"],"prefix":"10.1007","volume":"48","author":[{"given":"Emad","family":"Saad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,5,26]]},"reference":[{"key":"9048_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Program. 19\/20, 9\u201371 (1994)","journal-title":"J. Log. Program."},{"key":"9048_CR2","volume-title":"Logic Programming and Non-monotonic Reasoning","author":"C. Baral","year":"2004","unstructured":"Baral, C., et al.: Probabilistic reasoning with snswer sets. In: Logic Programming and Non-monotonic Reasoning. Springer, Berlin Heidelberg New York (2004)"},{"key":"9048_CR3","volume-title":"JELIA","author":"C.V. Damasio","year":"2000","unstructured":"Damasio, C.V., Pereira, L.M.: Hybrid probabilistic logic programs as residuated logic programs. In: JELIA. Springer, Berlin Heidelberg New York (2000)"},{"key":"9048_CR4","volume-title":"Coherent Well-founded Annotated Logic Programs. Logic Programming and Non-monotonic Reasoning","author":"C.V. Damasio","year":"1999","unstructured":"Damasio, C.V., et al.: Coherent Well-founded Annotated Logic Programs. Logic Programming and Non-monotonic Reasoning. Springer, Berlin Heidelberg New York (1999)"},{"issue":"3","key":"9048_CR5","doi-asserted-by":"crossref","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. In J. Log. Program. 43(3), 187\u2013250 (2000)","journal-title":"J. Log. Program."},{"issue":"3","key":"9048_CR6","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Log. Program. 1(3), 267\u2013284 (1984)","journal-title":"J. Log. Program."},{"key":"9048_CR7","unstructured":"Dubois, D., et al.: Towards possibilistic logic programming. In: Proceedings of the International Conference on Logic Programming. MIT Press (1991)"},{"key":"9048_CR8","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. Fundam. Inform. 11, 209\u2013218 (1988)","journal-title":"Fundam. Inform."},{"key":"9048_CR9","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. J. Log. Program. 11, 91\u201316 (1991)","journal-title":"J. Log. Program."},{"key":"9048_CR10","volume-title":"Proceedings of the International Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the International Conference and Symposium on Logic Programming. MIT Press, Cambridge (1988)"},{"issue":"1","key":"9048_CR11","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A. Gelder Van","year":"1993","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. J. Comput. Syst. Sci. 47(1), 185\u2013221 (1993)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"9048_CR12","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. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"9048_CR13","unstructured":"Giunchiglia, E., Lierler, Y., Maratea, M.: SAT-based answer set programming. In AAAI (2004)"},{"key":"9048_CR14","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory. Birkh\u00e4user Verlag Basel und Stuttgart (1978)","DOI":"10.1007\/978-3-0348-7633-9"},{"key":"9048_CR15","volume-title":"Proceedings of the International Conference on Inductive Logic Programming","author":"K. Kersting","year":"2000","unstructured":"Kersting, K., De Raedt, L.: Bayesian logic programs. In: Proceedings of the International Conference on Inductive Logic Programming. Springer, Berlin Heidelberg New York (2000)"},{"key":"9048_CR16","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, Berlin Heidelberg New York (1988)"},{"key":"9048_CR17","doi-asserted-by":"crossref","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. J. Log. Program. 12, 335\u2013367 (1992)","journal-title":"J. Log. Program."},{"issue":"1,2","key":"9048_CR18","doi-asserted-by":"crossref","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. Artif. Intell. 76(1,2), 239\u2013286 (1995)","journal-title":"Artif. Intell."},{"key":"9048_CR19","volume-title":"Proceedings of the 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: Proceedings of the Conf. on Database Expert Systems and Applications. Springer, Berlin Heidelberg New York (1994)"},{"issue":"8","key":"9048_CR20","doi-asserted-by":"crossref","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. Inf. Syst. 22(8), 483\u2013508 (1997)","journal-title":"Inf. Syst."},{"issue":"1","key":"9048_CR21","doi-asserted-by":"crossref","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. Theory Pract. Log. Program. 1(1), 5\u201342 (2001)","journal-title":"Theory Pract. Log. Program."},{"issue":"4","key":"9048_CR22","first-page":"554","volume":"13","author":"L.V.S. Lakshmanan","year":"2001","unstructured":"Lakshmanan, L.V.S., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE TKDE 13(4), 554\u2013570 (2001)","journal-title":"IEEE TKDE"},{"issue":"1","key":"9048_CR23","doi-asserted-by":"crossref","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. J. Intell. Inf. Syst. 6(1), 33\u201358 (1996)","journal-title":"J. Intell. Inf. Syst."},{"key":"9048_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin Heidelberg New York (1987)"},{"key":"9048_CR25","volume-title":"Proceedings of FLOPS","author":"Y. Loyer","year":"2002","unstructured":"Loyer, Y., Straccia, U.: The well-founded semantics in normal logic programs with uncertainty. In: Proceedings of FLOPS. Springer, Berlin Heidelberg New York (2002)"},{"key":"9048_CR26","volume-title":"Proceedings of the International Symposium on Mathematical Foundations of Computer Science","author":"Y. Loyer","year":"2003","unstructured":"Loyer, Y., Straccia, U.: The approximate well-founded semantics for logic programs with uncertainty. In: Proceedings of the International Symposium on Mathematical Foundations of Computer Science. Springer, Berlin Heidelberg New York (2003)"},{"key":"9048_CR27","volume-title":"Proceedings of the International Conference on Logic Programming","author":"J.J. Lu","year":"1994","unstructured":"Lu, J.J., et al.: Computing annotated logic programs. In: Proceedings of the International Conference on Logic Programming. MIT Press, Cambridge (1994)"},{"key":"9048_CR28","first-page":"388","volume-title":"Proceedings of the European Conference on Artificial Intelligence","author":"T. Lukasiewicz","year":"1998","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: Proceedings of the European Conference on Artificial Intelligence, 388\u2013392. Morgan Kaufmann, San Mateo, CA (1998)"},{"key":"9048_CR29","volume-title":"Logic Programming and Non-monotonic Reasoning","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T.: Many-valued disjunctive logic programs with probabilistic semantics. In: Logic Programming and Non-monotonic Reasoning. Springer, Berlin Heidelberg New York (1999)"},{"key":"9048_CR30","first-page":"289","volume-title":"Joint International Conference and Symposium on Logic Programming","author":"I. Niemela","year":"1996","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. MIT Press, San Mateo, CA (1996)"},{"key":"9048_CR31","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Inf. Comput. 101(2), (1992)","DOI":"10.1016\/0890-5401(92)90061-J"},{"key":"9048_CR32","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: A semantical framework for supporting subjective and conditional probabilities in deductive databases. ARJ 10(2), (1993)","DOI":"10.1007\/BF00881836"},{"key":"9048_CR33","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Inf. Comput. 110(1), (1994)","DOI":"10.1006\/inco.1994.1023"},{"key":"9048_CR34","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence","author":"P. Nicolas","year":"2005","unstructured":"Nicolas, P., Garcia, L., St\u00e9phan, I.: Possibilistic stable models. In: Proceedings of the International Joint Conference on Artificial Intelligence. Morgan Kaufmann, San Mateo, CA (2005)"},{"key":"9048_CR35","doi-asserted-by":"crossref","unstructured":"Saad, E.: Hybrid probabilistic programs with non-monotonic negation: semantics and algorithms. Ph.D. thesis, New Mexico State University, May (2005)","DOI":"10.1007\/11562931_17"},{"key":"9048_CR36","volume-title":"Proceedings of the Tenth European Conference on Logics in Artificial Intelligence (Jelia\u201906)","author":"E. Saad","year":"2006","unstructured":"Saad, E.: Incomplete knowledge in hybrid probabilistic logic programs. In: Proceedings of the Tenth European Conference on Logics in Artificial Intelligence (Jelia\u201906). Springer, Berlin Heidelberg New York (2006)"},{"key":"9048_CR37","volume-title":"Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI\u201906)","author":"E. Saad","year":"2006","unstructured":"Saad, E.: Towards the computation of the stable probabilistic model semantics. In: Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI\u201906). Bremen, Germany, June (2006)"},{"key":"9048_CR38","volume-title":"Proceedings of the Symposium on 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: Proceedings of the Symposium on Practical Aspects of Declarative Languages. Springer, Berlin Heidelberg New York (2005)"},{"issue":"1\u20133","key":"9048_CR39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(00)00005-4","volume":"45","author":"K. Sagonas","year":"2000","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: An abstract machine for efficiently computing queries to well-founded models. J. Log. Program. 45(1\u20133), 1\u201341 (2000)","journal-title":"J. Log. Program."},{"key":"9048_CR40","volume-title":"Proceedings of the International Joint Conferences on Artificial Intelligence","author":"T. Sato","year":"1997","unstructured":"Sato, T., Kameya, Y.: PRISM: Language for symbolic-statistical modeling. In: Proceedings of the International Joint Conferences on Artificial Intelligence. Morgan Kaufmann, San Mateo, CA (1997)"},{"key":"9048_CR41","first-page":"529","volume-title":"Proc. of IJCAI","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E.: Logic programs with uncertainties: a tool for implementing expert systems. In: Proc. of IJCAI, pages 529\u2013532. Morgan Kaufmann, San Mateo, CA (1983)"},{"key":"9048_CR42","first-page":"173","volume-title":"Proceedings of the International Symposium on Logic Programming","author":"V.S. Subrahmanian","year":"1987","unstructured":"Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: Proceedings of the International Symposium on Logic Programming, pp. 173\u2013182. IEEE Computer Society, Los Alamitos, CA (1987)"},{"issue":"2","key":"9048_CR43","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V.S. Subrahmanian","year":"1994","unstructured":"Subrahmanian, V.S.: Amalgamating knowledge bases. ACM Trans. Database Syst. 19(2), 291\u2013331 (1994)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"9048_CR44","doi-asserted-by":"crossref","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. J. Log. Program. 4(1), 37\u201353 (1986)","journal-title":"J. Log. Program."},{"key":"9048_CR45","unstructured":"Vennekens, J., Verbaeten, S.: A general view on probabilistic logic programming. In Belgian-Dutch Conference on AI (2003)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-007-9048-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-007-9048-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-007-9048-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T06:41:55Z","timestamp":1628923315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-007-9048-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,26]]},"references-count":45,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2007,6,21]]}},"alternative-id":["9048"],"URL":"https:\/\/doi.org\/10.1007\/s10472-007-9048-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,26]]}}}