PRISM swMATH ID: 23359 Software Authors: Sato, T., Kameya, Y. Description: PRISM: A language for symbolic-statistical modeling. We present an overview of symbolic-statistical modeling language PRISM whose programs are not only a probabilistic extension of logic programs but also able to learn from examples with the help of the EM learning algorithm. As a knowledge representation language appropriate for probabilistic reasoning, it can describe various types of symbolic-statistical modeling formalism known but unrelated so far in a single framework. We show by examples, together with learning results, that most popular probabilistic modeling formalisms, the hidden Markov model and Bayesian networks, are described by PRISM programs. Homepage: http://rjida.meijo-u.ac.jp/prism/ Related Software: ProbLog; CP-logic; PITA; BLOG; Church; IBAL; Dyna; cplint; SCIFF; SWI-Prolog; L-BFGS; MCINTYRE; Figaro; MEBN; Oz; PrASP; XSB; Aleph; Haskell; kFOIL Cited in: 40 Documents all top 5 Cited by 79 Authors 6 Riguzzi, Fabrizio 5 De Raedt, Luc 4 Bellodi, Elena 4 Zese, Riccardo 3 Cussens, James 3 Lamma, Evelina 2 Christiansen, Henning 2 Cota, Giuseppe 2 Domingos, Pedro 2 Frasconi, Paolo 2 Getoor, Lise 2 Muggleton, Stephen H. 2 Orsini, Francesco 2 Ramakrishnan, C. R. 1 Abdallah, Samer A. 1 Alberti, Marco 1 Alsanie, Waleed 1 Angelopoulos, Nicos 1 Azzolini, Damiano 1 Bahlmann, Claus 1 Bain, Michael E. 1 Balai, Evgenii 1 Bratko, Ivan 1 Buchman, David 1 Chiang, Michael 1 Dahl, Veronica 1 Dietterich, Thomas G. 1 Doleschal, Johannes 1 Ferilli, Stefano 1 Flach, Peter A. 1 Fraccaroli, Michele 1 Gelfond, Michael 1 Ghosh, Sarthak 1 Grant, John R. 1 Hommersom, Arjen 1 Howard, Catherine 1 Kameya, Yoshitaka 1 Karabatsos, George 1 Kimelfeld, Benny 1 Kimmig, Angelika 1 Kurihara, Kenichi 1 Landwehr, Niels 1 Leisen, Fabrizio 1 Lloyd, John Wylie 1 Lo, Kueiming 1 Lucas, Peter J. F. 1 Martens, Wim 1 Michels, Steffen 1 Nampally, Arun 1 Neumann, Jan 1 Ng, Kee Siong 1 Nguembang Fadja, Arnaud 1 Nickles, Matthias 1 Peterfreund, Liat 1 Pontelli, Enrico 1 Poole, David L. 1 Qing, Duzheng 1 Ramesh, Visvanathan 1 Richardson, Matthew 1 Saad, Emad W. 1 Sato, Taisuke 1 Shet, Vinay 1 Singh, Maneesh Kumar 1 Srinivasan, Ashwin 1 Stumptner, Markus 1 Szałas, Andrzej 1 Tadepalli, Prasad 1 Thon, Ingo 1 Torti, Lionel 1 Uther, William T. B. 1 Van Ranst, Wiebe 1 Velikova, Marina 1 Vennekens, Joost 1 Vidal, Germán 1 Wang, Weijing 1 Wuillemin, Pierre-Henri 1 Yu, Lixin 1 Zhang, Lianyi 1 Zhang, Yuanlin all top 5 Cited in 10 Serials 11 Machine Learning 10 International Journal of Approximate Reasoning 4 Annals of Mathematics and Artificial Intelligence 1 ACM Computing Surveys 1 Artificial Intelligence 1 Journal of Statistical Computation and Simulation 1 International Journal of Computer Vision 1 Journal of Multiple-Valued Logic and Soft Computing 1 Logical Methods in Computer Science 1 Statistics Surveys all top 5 Cited in 6 Fields 39 Computer science (68-XX) 5 Statistics (62-XX) 4 Mathematical logic and foundations (03-XX) 2 History and biography (01-XX) 2 Probability theory and stochastic processes (60-XX) 1 Biology and other natural sciences (92-XX) Citations by Year