{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T08:55:38Z","timestamp":1673254538526},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,5,26]],"date-time":"2008-05-26T00:00:00Z","timestamp":1211760000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1007\/s10844-008-0062-7","type":"journal-article","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T15:16:52Z","timestamp":1212592612000},"page":"161-176","source":"Crossref","is-referenced-by-count":20,"title":["A glimpse of symbolic-statistical modeling by PRISM"],"prefix":"10.1007","volume":"31","author":[{"given":"Taisuke","family":"Sato","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,5,26]]},"reference":[{"key":"62_CR1","doi-asserted-by":"crossref","unstructured":"Baker, J. K. (1979). Trainable grammars for speech recognition. In Proceedings of Spring conference of the acoustical society of America (pp. 547\u2013550).","DOI":"10.1121\/1.2017061"},{"key":"62_CR2","unstructured":"Boutilier, C., Friedman, N., Goldszmidt, M., & Koller, D. (1996). Context-specific independence in Bayesian networks. In Proceeding of the 12th conference on uncertainty in artificial intelligence (UAI\u201996) (pp. 115\u2013123)."},{"key":"62_CR3","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1111\/j.1467-8640.1992.tb00382.x","volume":"8","author":"J. S. Breese","year":"1992","unstructured":"Breese, J. S. (1992). Construction of belief and decision networks. Computational Intelligence, 8, 624\u2013647.","journal-title":"Computational Intelligence"},{"key":"62_CR4","unstructured":"Chavira, M., & Darwiche, A. (2005). Compiling Bayesian networks with local structure. In Proceedings of the 19th international joint conference on artificial intelligence (IJCAI\u201905) (pp. 1306\u20131312)"},{"key":"62_CR5","unstructured":"Chavira, M., Darwiche, A., & Jaeger, M. (2004). Compiling relational bayesian networks for exact inference. In Proceedings of the second European workshop on probabilistic graphical models (PGM\u201904) (pp. 49\u201356)."},{"key":"62_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1950-7","volume-title":"Probability theory","author":"Y. Chow","year":"1997","unstructured":"Chow, Y., & Teicher, H. (1997). Probability theory (3rd ed.). New York: Springer","edition":"3"},{"key":"62_CR7","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1023\/A:1010924021315","volume":"44","author":"J. Cussens","year":"2001","unstructured":"Cussens, J. (2001). Parameter estimation in stochastic logic programs. Machine Learning, 44, 245\u2013271.","journal-title":"Machine Learning"},{"key":"62_CR8","unstructured":"Darwiche, A. (2002). A logical approach to factoring belief networks. In Proceedings of the eighth international conference on principles of knowledge representation and reasoning (KR\u201902) (pp. 409\u2013420)."},{"key":"62_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/959242.959247","volume":"5","author":"L. Raedt De","year":"2003","unstructured":"De\u00a0Raedt, L., & Kersting, K. (2003). Probabilistic logic learning. ACM-SIGKDD Explorations, Special Issue on Multi-Relational Data Mining, 5, 31\u201348.","journal-title":"ACM-SIGKDD Explorations, Special Issue on Multi-Relational Data Mining"},{"key":"62_CR10","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1111\/j.1467-8640.1989.tb00324.x","volume":"5","author":"T. Dean","year":"1989","unstructured":"Dean, T., & Kanazawa, K. (1989). A model for reasoning about persistence and causation. Computational Intelligence, 5, 142\u2013150.","journal-title":"Computational Intelligence"},{"key":"62_CR11","unstructured":"Dechter, R. (1996). Bucket elimination: A unifying framework for probabilistic inference. In Proceedings of the 12th conference on uncertainty in artificial intelligence (UAI\u201996) (pp. 211\u2013219)."},{"key":"62_CR12","unstructured":"Dehaspe, L., Toivonen, H., & King, R. D. (1998). Finding frequent substructures in chemical compounds. In R. Agrawal, P. Stolorz, & G. Piatetsky-Shapiro (Eds.), In Proceedings of the 4th international conference on knowledge discovery and data mining (pp. 30\u201336). AAAI Press."},{"key":"62_CR13","first-page":"1","volume":"B39","author":"A. P. Dempster","year":"1977","unstructured":"Dempster, A. P., Laird, N. M., Rubin, D. B. (1977). Maximum likelihood from incomplete data via the EM algorithm. Royal Statistical Society, B39, 1\u201338.","journal-title":"Royal Statistical Society"},{"key":"62_CR14","doi-asserted-by":"crossref","volume-title":"From logic to logic programming","author":"K. Doets","year":"1994","unstructured":"Doets, K. (1994). From logic to logic programming. Cambridge: MIT.","DOI":"10.7551\/mitpress\/3133.001.0001"},{"key":"62_CR15","unstructured":"Domingos, P., Richardson, M. (2004). Markov logic: A unifying framework for statistical relational learning. In Proceedings of the ICML-2004 workshop on statistical relational learning and its connections to other fields (SRL\u201904)."},{"key":"62_CR16","doi-asserted-by":"crossref","unstructured":"Fierens, D., Blockeel, H., Bruynooghe, M., & Ramon, J. (2005). Logical Bayesian networks and their relation to other probabilistic logical models. In Proceedings of the 15th international conference on inductive logic programming (ILP\u201905). Lecture Notes in Computer Science, (Vol.\u00a03625, pp. 121\u2013135).","DOI":"10.1007\/11536314_8"},{"key":"62_CR17","unstructured":"Friedman, N., Getoor, L., Koller, D., & Pfeffer, A. (1999). Learning probabilistic relational models. In Proceedings of the 16th international joint conference on artificial intelligence (IJCAI\u201999) (pp. 1300\u20131309)."},{"key":"62_CR18","unstructured":"Getoor, L., Friedman, N., & Koller, D. (2001). Learning probabilistic models of relational structure. In Proceedings of the 18th international conference on machine learning (ICML\u201901) (pp. 170\u2013177)."},{"key":"62_CR19","doi-asserted-by":"crossref","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., & Parker, D. (2006). PRISM: A tool for automatic verification of probabilistic systems. In Proceedings of the 12th international conference on tools and algorithms for the construction and analysis of systems (TACAS\u201906). LNCS (Vol. 3920, pp. 441\u2013444). New York: Springer.","DOI":"10.1007\/11691372_29"},{"key":"62_CR20","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1016713501153","volume":"32","author":"J. Jaeger","year":"2001","unstructured":"Jaeger, J. (2001). Complex probabilistic modeling with recursive relational Bayesian networks. Annals of Mathematics and Artificial Intelligence, 32, 179\u2013220.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"62_CR21","series-title":"Lecture Notes in Artificial Intelligence","first-page":"269","volume-title":"Proceedings of the 1st conference on computational logic (CL\u201900)","author":"Y. Kameya","year":"2000","unstructured":"Kameya, Y., & Sato, T. (2000). Efficient EM learning for parameterized logic programs. In Proceedings of the 1st conference on computational logic (CL\u201900). Lecture Notes in Artificial Intelligence (Vol. 1861, pp. 269\u2013294). New York: Springer."},{"key":"62_CR22","unstructured":"Kersting, K., & De\u00a0Raedt, L. (2002). Basic principles of learning bayesian logic programs. Technical Report Technical Report No. 174, Institute for Computer Science, University of Freiburg."},{"key":"62_CR23","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1613\/jair.1675","volume":"25","author":"K. Kersting","year":"2006","unstructured":"Kersting, K., De\u00a0Raedt, L., & Raiko, T. (2006). Logical hidden Markov models. Journal of Artificial Intelligence Research, 25, 425\u2013456.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"62_CR24","unstructured":"Koller, D., & Pfeffer, A. (1997). Learning probabilities for noisy first-order rules. In Proceedings of the 15th international joint conference on artificial intelligence (IJCAI\u201997) (pp. 1316\u20131321)."},{"key":"62_CR25","unstructured":"Kristian\u00a0Kersting, K., De\u00a0Raedt, L. (2000). Bayesian logic programs. In Proceedings of the work- in-progress track at the 10th international conference on inductive logic programming (ILP \u201900) (pp. 138\u2013155)."},{"key":"62_CR26","unstructured":"Lakshmanan, L. V. S., & Sadri, F. (1994). Probabilistic deductive databases. In Proceedings of the 1994 international symposium on logic programming (ILPS\u201994) (pp. 254\u2013268)."},{"key":"62_CR27","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0885-2308(90)90022-X","volume":"4","author":"K. Lari","year":"1990","unstructured":"Lari, K., & Young, S. J. (1990). The estimation of stochastic context-free grammars using the Inside-Outside algorithm. Computer Speech and Language, 4, 35\u201356.","journal-title":"Computer Speech and Language"},{"key":"62_CR28","unstructured":"Laskey, K. (2006). MEBN: A logic for open-world probabilistic reasoning. C4I Center Technical Report C4I06-01. George Mason University Department of Systems Engineering and Operations Research."},{"key":"62_CR29","first-page":"157","volume":"50","author":"S. Lauritzen","year":"1988","unstructured":"Lauritzen, S., & Spiegelhalter, D. (1988). Local computations with probabilities on graphical structures and their applications to expert systems. Journal of the Royal Statistical Society, B50, 157\u2013224.","journal-title":"Journal of the Royal Statistical Society"},{"key":"62_CR30","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.577","volume":"10","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T. (1999). Probabilistic deduction with conditional constraints over basic events. Journal of Artificial Intelligence Research, 10, 199\u2013241.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"62_CR31","first-page":"313","volume":"19","author":"M. Marcus","year":"1993","unstructured":"Marcus, M., Santorini, B., & Marcinkiewicz, M. (1993). Building a large annotated corpus of English: The Penn Treebank. Computational Linguistics, 19, 313\u2013330.","journal-title":"Computational Linguistics"},{"key":"62_CR32","volume-title":"The EM algorithm and extensions","author":"G. J. McLachlan","year":"1997","unstructured":"McLachlan, G. J., & Krishnan, T. (1997). The EM algorithm and extensions. New York: Wiley Interscience."},{"key":"62_CR33","unstructured":"Milch, B., Marthi, B., Russell, S., Sontag, D., Ong, D., & Kolobov, A. (2005). BLOG: Probabilistic models with unknown objects. In Proceedings of the 19th international joint conference on artificial intelligence (IJCAI\u201905) (pp. 1352\u20131359)."},{"key":"62_CR34","first-page":"254","volume-title":"Advances in inductive logic programming","author":"S. Muggleton","year":"1996","unstructured":"Muggleton, S. (1996). Stochastic logic programs. In L. de\u00a0Raedt (Ed.), Advances in inductive logic programming (pp. 254\u2013264). Amsterdam: IOS."},{"key":"62_CR35","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R. Ng","year":"1992","unstructured":"Ng, R., & Subrahmanian, V. S. (1992). Probabilistic logic programming. Information and Computation, 101, 150\u2013201.","journal-title":"Information and Computation"},{"key":"62_CR36","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0304-3975(96)00128-4","volume":"171","author":"L. Ngo","year":"1997","unstructured":"Ngo, L., & Haddawy, P. (1997). Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science, 171, 147\u2013177.","journal-title":"Theoretical Computer Science"},{"key":"62_CR37","doi-asserted-by":"crossref","unstructured":"Oates, T., Doshi, S., & Huang, F. (2003). Estimating maximum likelihood parameters for stochastic context-free graph grammars. In Proceedings of the 13th international conference on inductive logic programming (ILP\u201903) (pp. 281\u2013298)","DOI":"10.1007\/978-3-540-39917-9_19"},{"key":"62_CR38","volume-title":"Probabilistic reasoning in intelligent systems","author":"J. Pearl","year":"1988","unstructured":"Pearl, J. (1988). Probabilistic reasoning in intelligent systems. San Francisco: Morgan Kaufmann"},{"key":"62_CR39","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"Poole, D. (1993). Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence, 64, 81\u2013129.","journal-title":"Artificial Intelligence"},{"key":"62_CR40","unstructured":"Pynadath, D. V., & Wellman, M. P. (1996). Generalized queries on probabilistic context-free grammars. In Proceedings of the 14th national conference on artificial intelligence (AAAI\u201996) (pp. 1285\u20131290)."},{"key":"62_CR41","volume-title":"Handbook of graph grammars and computing by graph transformations. (Vol. 1)","year":"1997","unstructured":"Rozenberg, G. (Ed.) (1997). Handbook of graph grammars and computing by graph transformations. (Vol. 1). Hackensack: Foundations World Scientific."},{"key":"62_CR42","unstructured":"Sato, T. (1995). A statistical learning method for logic programs with distribution semantics. In Proceedings of the 12th international conference on logic programming (ICLP\u201995) (pp. 715\u2013729)."},{"key":"62_CR43","unstructured":"Sato, T. (2005). A generic approach to EM learning for symbolic-statistical models. In Proceedings of the 4th learning language in logic workshop (LLL\u201905)."},{"key":"62_CR44","unstructured":"Sato, T. (2007). Inside-Outside probability computation for belief propagation. In Proceedings of the 20th international joint conference on artificial intelligence (IJCAI\u201907) (pp. 00\u201300)."},{"key":"62_CR45","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.912","volume":"15","author":"T. Sato","year":"2001","unstructured":"Sato, T., & Kameya, Y. (2001). Parameter learning of logic programs for symbolic-statistical modeling. Journal of Artificial Intelligence Research, 15, 391\u2013454.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"62_CR46","unstructured":"Sato, T., & Kameya, Y. (2004a). A dynamic programming approach to parameter learning of generative models with failure. In Proceedings of ICML 2004 workshop on learning statistical models from relational data (SRL \u201904)."},{"key":"62_CR47","unstructured":"Sato, T., & Kameya, Y. (2004b). Negation elimination for finite PCFGs. In Proceedings of the international symposium on logic-based program synthesis and transformation 2004 (LOPSTR\u201904) (pp. 119\u2013134)."},{"key":"62_CR48","unstructured":"Sato, T., Kameya, Y., & Zhou, N. F. (2005). Generative modeling with failure in PRISM. In Proceedings of the 19th international joint conference on artificial intelligence (IJCAI\u201905) (pp. 847\u2013852)."},{"key":"62_CR49","doi-asserted-by":"crossref","unstructured":"Shan, B. (2005). Stochastic context-free graph grammars for glycoprotein modelling. In Implementation and Application of Automata, Lecture Notes in Computer Science (Vol. 3317, pp. 247\u2013258).","DOI":"10.1007\/978-3-540-30500-2_23"},{"issue":"3","key":"62_CR50","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van\u00a0Gelder, A., Ross, K., & Schlipf, J. (1991). The well-founded semantics for general logic programs. The Journal of ACM (JACM), 38(3), 620\u2013650.","journal-title":"The Journal of ACM (JACM)"},{"key":"62_CR51","doi-asserted-by":"crossref","unstructured":"Vennekens, J., Verbaeten, S., & Bruynooghe, M. (2004). Logic programs with annotated disjunctions. In Proceedings of the 20th international conference on logic programming (ICLP\u201904). Lecture Notes in Computer Science (Vol. 3132, pp. 431\u2013445).","DOI":"10.1007\/978-3-540-27775-0_30"},{"key":"62_CR52","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/959242.959249","volume":"5","author":"T. Washio","year":"2003","unstructured":"Washio, T., & Motoda, H. (2003). State of the art of graph-based data mining. SIGKDD Explorations, 5, 59\u201368.","journal-title":"SIGKDD Explorations"},{"key":"62_CR53","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1613\/jair.305","volume":"5","author":"N. Zhang","year":"1996","unstructured":"Zhang, N., & Poole, D. (1996). Exploiting causal independence in Bayesian network inference. Journal of Artificial Intelligence Research, 5, 301\u2013328.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"62_CR54","doi-asserted-by":"crossref","unstructured":"Zhou, N. F., & Sato, T. (2003). Efficient fixpoint computation in linear tabling. In Proceedings of the 5th ACM-SIGPLAN international conference on principles and practice of declarative programming (PPDP\u201903) (pp. 275\u2013283).","DOI":"10.1145\/888251.888277"},{"key":"62_CR55","doi-asserted-by":"crossref","unstructured":"Zhou, N. F., Shen, Y., & Sato, T. (2004). Semi-naive evaluation in linear tabling. In Proceedings of the 6th ACM-SIGPLAN international conference on principles and practice of declarative programming (PPDP \u201904) (pp. 90\u201397).","DOI":"10.1145\/1013963.1013976"}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-008-0062-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10844-008-0062-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-008-0062-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:10:47Z","timestamp":1559268647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10844-008-0062-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,26]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["62"],"URL":"http:\/\/dx.doi.org\/10.1007\/s10844-008-0062-7","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":["Artificial Intelligence","Computer Networks and Communications","Hardware and Architecture","Information Systems","Software"],"published":{"date-parts":[[2008,5,26]]}}}