{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T09:12:52Z","timestamp":1760346772825,"version":"3.37.3"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T00:00:00Z","timestamp":1550707200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T00:00:00Z","timestamp":1550707200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000104","name":"National Aeronautics and Space Administration","doi-asserted-by":"publisher","award":["NRA NNH11ZEA001N-SSAT2"],"award-info":[{"award-number":["NRA NNH11ZEA001N-SSAT2"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1007\/s10472-019-09620-2","type":"journal-article","created":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T02:29:46Z","timestamp":1550716186000},"page":"149-192","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["P-log: refinement and a new coherency condition"],"prefix":"10.1007","volume":"86","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3165-482X","authenticated-orcid":false,"given":"Evgenii","family":"Balai","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]},{"given":"Yuanlin","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,21]]},"reference":[{"key":"9620_CR1","unstructured":"Balai, E.: Investigating and Extending P-log. Ph.D. thesis, Texas Tech University (2017)"},{"key":"9620_CR2","unstructured":"Balai, E., Gelfond, M.: On the relationship between P-log and LPMLN. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 915\u2013921. http:\/\/www.ijcai.org\/Abstract\/16\/134 (2016)"},{"key":"9620_CR3","unstructured":"Balai, E., Gelfond, M.: Refining and generalizing P-log - preliminary report. In: Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. http:\/\/ceur-ws.org\/Vol-1868\/p6.pdf (2017)"},{"key":"9620_CR4","unstructured":"Balai, E., Gelfond, M., Zhang, Y.: Towards answer set programming with sorts. In: Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, pp. 135\u2013147 (2013)"},{"key":"9620_CR5","unstructured":"Balduccini, M.: Answer set solving and non-herbrand functions. In: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR\u20192012)(Jun 2012) (2012)"},{"key":"9620_CR6","unstructured":"Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pp. 9\u201318 (2003)"},{"key":"9620_CR7","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic Reasoning with Answer Sets. in: International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 21\u201333. Springer (2004)","DOI":"10.1007\/978-3-540-24609-1_5"},{"issue":"01","key":"9620_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S1471068408003645","volume":"9","author":"C Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Theory Pract. Logic Program. 9(01), 57\u2013144 (2009)","journal-title":"Theory Pract. Logic Program."},{"key":"9620_CR9","unstructured":"Baral, C., Hunsaker, M.: Using the probabilistic logic programming language P-log for causal and counterfactual reasoning and non-naive conditioning. In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 243\u2013249 (2007)"},{"key":"9620_CR10","unstructured":"Bartholomew, M., Lee, J.: Stable models of multi-valued formulas: partial versus total functions. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/8020 (2014)"},{"key":"9620_CR11","doi-asserted-by":"publisher","unstructured":"Cabalar, P.: Partial functions and equality in answer set programming. In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 392\u2013406. https:\/\/doi.org\/10.1007\/978-3-540-89982-2_36 (2008)","DOI":"10.1007\/978-3-540-89982-2_36"},{"key":"9620_CR12","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1613\/jair.5482","volume":"60","author":"FG Cozman","year":"2017","unstructured":"Cozman, F.G., Mau\u00e1, D.D.: On the semantics and complexity of probabilistic logic programs. J. Artif. Intell. Res. 60, 221\u2013262 (2017)","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"9620_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10994-015-5494-z","volume":"100","author":"L De Raedt","year":"2015","unstructured":"De Raedt, L., Kimmig, A.: Probabilistic (logic) programming concepts. Mach. Learn. 100(1), 5\u201347 (2015)","journal-title":"Mach. Learn."},{"issue":"1-2","key":"9620_CR14","doi-asserted-by":"publisher","first-page":"87","DOI":"10.3233\/FI-1996-281205","volume":"28","author":"J Dix","year":"1996","unstructured":"Dix, J., Gottlob, G., Marek, V. W.: Reducing disjunctive to non-disjunctive semantics by shift-operations. Fundam. Inform. 28(1-2), 87\u2013100 (1996). https:\/\/doi.org\/10.3233\/FI-1996-281205","journal-title":"Fundam. Inform."},{"issue":"3","key":"9620_CR15","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1017\/S1471068414000076","volume":"15","author":"D Fierens","year":"2015","unstructured":"Fierens, D., Van den Broeck, G., Renkens, J., Shterionov, D., Gutmann, B., Thon, I., Janssens, G., De Raedt, L.: Inference and learning in probabilistic logic programs using weighted boolean formulas. Theory Pract. Logic Program. 15(3), 358\u2013401 (2015)","journal-title":"Theory Pract. Logic Program."},{"key":"9620_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-set Programming Approach. Cambridge University Press, Cambridge (2014)"},{"key":"9620_CR17","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988, vol. 2, pp. 1070\u20131080 (1988)"},{"issue":"3\/4","key":"9620_CR18","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. N. Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"N. Gener. Comput."},{"key":"9620_CR19","unstructured":"Gelfond, M., Rushton, N.: Causal and Probabilistic Reasoning in P-log. In: Dechter, R., Geffner, H., Halpern, J. (eds.) A Tribute to Judea Pearl, pp. 337-359, College Publications (2010)"},{"issue":"4-5","key":"9620_CR20","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1017\/S1471068414000222","volume":"14","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Zhang, Y.: Vicious circle principle and logic programs with aggregates. TPLP 14(4-5), 587\u2013601 (2014). https:\/\/doi.org\/10.1017\/S1471068414000222","journal-title":"TPLP"},{"key":"9620_CR21","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Zhang, Y.: Vicious circle principle and formation of sets in ASP based languages. In: Logic Programming and Nonmonotonic Reasoning, 14Th International Conference, LPNMR (2017)","DOI":"10.1007\/978-3-319-61660-5_14"},{"key":"9620_CR22","unstructured":"Halpern, J.Y.: A modification of the Halpern-Pearl definition of causality. In: Proceedings of the 24th International Conference on Artificial Intelligence, IJCAI\u201915, pp. 3022\u20133033. AAAI Press. http:\/\/dl.acm.org\/citation.cfm?id=2832581.2832671 (2015)"},{"issue":"4","key":"9620_CR23","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1093\/bjps\/axi147","volume":"56","author":"JY Halpern","year":"2005","unstructured":"Halpern, J. Y., Pearl, J.: Causes and explanations: a structural-model approach. Part I: Causes. Br. J. Philos. Sci. 56(4), 843\u2013887 (2005)","journal-title":"Br. J. Philos. Sci."},{"key":"9620_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790423","volume-title":"Probability Theory: The Logic of Science","author":"ET Jaynes","year":"2003","unstructured":"Jaynes, E. T.: Probability Theory: The Logic of Science. Cambridge University Press, Cambridge (2003)"},{"key":"9620_CR25","unstructured":"Kersting, K., Raedt, L.D.: Bayesian logic programs. In: Inductive Logic Programming, 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000, Proceedings. http:\/\/ceur-ws.org\/Vol-35\/07-KerstingDeRaedt.ps (2000)"},{"key":"9620_CR26","unstructured":"Lee, J., Wang, Y.: Weighted rules under the stable model semantics. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016, pp. 145\u2013154. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/view\/12901 (2016)"},{"key":"9620_CR27","unstructured":"Lee, J., Yang, Z.: LPMLN, weak constraints, and p-log. in: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, pp. 1170\u20131177, San Francisco, California, USA (2017)"},{"key":"9620_CR28","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In; Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, pp. 23\u201337 (1994)"},{"key":"9620_CR29","unstructured":"Lukasiewicz, T.: Probabilistic Logic Programming. In: ECAI, pp. 388\u2013392 (1998)"},{"issue":"2","key":"9620_CR30","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1016\/j.ijar.2006.06.012","volume":"45","author":"T Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reason. 45(2), 288\u2013307 (2007)","journal-title":"Int. J. Approx. Reason."},{"key":"9620_CR31","doi-asserted-by":"publisher","unstructured":"De Morais, E.M., Finger, M.: Probabilistic Answer Set Programming. In: Brazilian Conference on Intelligent Systems, BRACIS 2013, Fortaleza, CE, Brazil, 19-24 October, 2013, pp. 150\u2013156. https:\/\/doi.org\/10.1109\/BRACIS.2013.33 (2013)","DOI":"10.1109\/BRACIS.2013.33"},{"key":"9620_CR32","first-page":"254","volume":"32","author":"S Muggleton","year":"1996","unstructured":"Muggleton, S., et al.: Stochastic logic programs. Advances in Inductive Logic Programming 32, 254\u2013264 (1996)","journal-title":"Advances in Inductive Logic Programming"},{"issue":"2","key":"9620_CR33","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R Ng","year":"1992","unstructured":"Ng, R., Subrahmanian, V. S.: Probabilistic logic programming. Inf. Comput. 101(2), 150\u2013201 (1992)","journal-title":"Inf. Comput."},{"issue":"1-2","key":"9620_CR34","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0304-3975(96)00128-4","volume":"171","author":"L Ngo","year":"1997","unstructured":"Ngo, L., Haddawy, P.: Answering queries from context-sensitive probabilistic knowledge bases. Theor. Comput. Sci. 171(1-2), 147\u2013177 (1997)","journal-title":"Theor. Comput. Sci."},{"key":"9620_CR35","unstructured":"Oikarinen, E., Janhunen, T.: Modular equivalence for normal logic programs. In: ECAI, vol. 6, pp. 412\u2013416 (2006)"},{"key":"9620_CR36","unstructured":"Pearl, J.: Reasoning with cause and effect. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. vol. 2, 1450 pages, pp 1437\u20131449 (1999)"},{"key":"9620_CR37","volume-title":"Causality: Models, Reasoning, and Inference","author":"J Pearl","year":"2000","unstructured":"Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press, Cambridge (2000)"},{"key":"9620_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29354-7","volume-title":"Programming Machine Ethics","author":"LM Pereira","year":"2016","unstructured":"Pereira, L. M., Saptawijaya, A.: Programming Machine Ethics, 1st edn. Springer Publishing Company, Incorporated, Berlin (2016)","edition":"1st edn."},{"key":"9620_CR39","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D Poole","year":"1993","unstructured":"Poole, D.: Probabilistic horn abduction and bayesian networks. Artif. Intell. 64, 81\u2013129 (1993)","journal-title":"Artif. Intell."},{"issue":"1-2","key":"9620_CR40","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. Artif. Intell. 94(1-2), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"key":"9620_CR41","unstructured":"Raedt, L.D., Kimmig, A., Toivonen, H.: Problog: A probabilistic prolog and its application in link discovery. In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 2462\u20132467 . http:\/\/ijcai.org\/Proceedings\/07\/Papers\/396.pdf (2007)"},{"key":"9620_CR42","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Inproceedings of the 12th International Conference on Logic Programming (ICLP\u201995), pp. 715\u2013729. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"9620_CR43","unstructured":"Sato, T., Kameya, Y.: PRISM: A language for symbolic-statistical modeling. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, vol. 2, pp. 1330\u20131339. http:\/\/ijcai.org\/Proceedings\/97-2\/Papers\/078.pdf (1997)"},{"issue":"3","key":"9620_CR44","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S1471068409003767","volume":"9","author":"J Vennekens","year":"2009","unstructured":"Vennekens, J., Denecker, M., Bruynooghe, M.: CP-logic: a language of causal probabilistic events and its relation to logic programming. Theory Pract. Logic Program. 9(3), 245\u2013308 (2009)","journal-title":"Theory Pract. Logic Program."},{"key":"9620_CR45","doi-asserted-by":"publisher","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 431\u2013445. https:\/\/doi.org\/10.1007\/978-3-540-27775-0_30 (2004)","DOI":"10.1007\/978-3-540-27775-0_30"},{"issue":"3","key":"9620_CR46","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/34.204911","volume":"15","author":"MP Wellman","year":"1993","unstructured":"Wellman, M. P., Henrion, M.: Explaining \u2019explaining away\u2019. IEEE Trans. Pattern Anal. Mach. Intell. 15(3), 287\u2013292 (1993)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"9620_CR47","doi-asserted-by":"crossref","unstructured":"Zhang, S., Stone, P.: Corpp: Commonsense reasoning and probabilistic planning, as applied to dialog with a mobile robot. In: Proceedings of the 29th Conference on Artificial Intelligence (AAAI) (2015)","DOI":"10.1609\/aaai.v29i1.9385"},{"key":"9620_CR48","unstructured":"Zhu, W.: Plog: Its Algorithms and Applications. Ph.D. thesis, Texas Tech University (2012)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-019-09620-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-019-09620-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-019-09620-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T23:43:13Z","timestamp":1721000593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-019-09620-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,21]]},"references-count":48,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2019,7]]}},"alternative-id":["9620"],"URL":"https:\/\/doi.org\/10.1007\/s10472-019-09620-2","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2019,2,21]]},"assertion":[{"value":"21 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}