ProbLog swMATH ID: 6945 Software Authors: Renkens, Joris; Van Den Broeck, Guy; Nijssen, Siegfried Description: ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available, based on a different methodology and offering a different functionality. ProbLog1, or briefly ProbLog, focusses on computing the success probability of a given query, either exactly or using various approximate methods. ProbLog1 also supports parameter learning, in both the learning from entailment and learning from interpretations setting. ProbLog1 also supports decision-theoretic inference. ProbLog2 allows the user to compute marginal probabilities of any number of ground atoms in the presence of evidence (in comparison, the succes probability setting of ProbLog1 corresponds to having a single query and no evidence). ProbLog2 also supports parameter learning in the learning from interpretations setting. Homepage: http://dtai.cs.kuleuven.be/problog/ Keywords: probabilistic programming; inductive logic programming; statistical relational learning; decision theory; approximative inference Related Software: PRISM; PITA; CP-logic; Church; BLOG; YAP-Prolog; Aleph; PRMLT; MCINTYRE; SWI-Prolog; Dyna; cplint; DeepProbLog; XSB; kProbLog; Adam; FACTORIE; YAGO; FluCaP; Figaro Cited in: 103 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year \(k\)-optimal: a novel approximate inference algorithm for ProbLog. Zbl 1260.68067Renkens, Joris; Van den Broeck, Guy; Nijssen, Siegfried 2012 all top 5 Cited by 188 Authors 20 Riguzzi, Fabrizio 19 De Raedt, Luc 13 Kimmig, Angelika 10 Bellodi, Elena 8 Lamma, Evelina 8 Zese, Riccardo 5 Van Den Broeck, Guy 4 Belle, Vaishak 4 Ceylan, İsmail İlkan 4 Cota, Giuseppe 4 Gutmann, Bernd 4 Janssens, Gerda 4 Mantadelis, Theofrastos 4 Sato, Taisuke 3 Artikis, Alexander 3 Azzolini, Damiano 3 Bruynooghe, Maurice 3 Santos Costa, Vítor 3 Frasconi, Paolo 3 Paliouras, Georgios 3 Ramakrishnan, C. R. 3 Rocha, Ricardo 3 Russo, Alessandra M. 3 Thon, Ingo 3 Vennekens, Joost 2 Alberti, Marco 2 Broda, Krysia B. 2 Cohen, William W. 2 Cropper, Andrew 2 Cussens, James 2 de Laet, Tinne 2 Demoen, Bart 2 Di Mauro, Nicola 2 Dickens, Luke 2 Dumančić, Sebastijan 2 Inoue, Katsumi 2 Kersting, Kristian 2 Law, Mark M. 2 Levesque, Hector J. 2 Mazaitis, Kathryn Rivard 2 Meert, Wannes 2 Muggleton, Stephen H. 2 Nguembang Fadja, Arnaud 2 Nijssen, Siegfried 2 Nitti, Davide 2 Orsini, Francesco 2 Peñaloza, Rafael 2 Renkens, Joris 2 Skarlatidis, Anastasios 2 Swift, Terrance 2 Teso, Stefano 1 Abboud, Ralph 1 Abdallah, Samer A. 1 Anastacio, Marie 1 Babaki, Behrouz 1 Bain, Michael E. 1 Balai, Evgenii 1 Bikakis, Antonis 1 Bistarelli, Stefano 1 Blockeel, Hendrik 1 Bratko, Ivan 1 Buchman, David 1 Calejo, Miguel 1 Cerutti, Federico 1 Corapi, Domenico 1 Costa, Fabrizio 1 Darwiche, Adnan 1 D’Asaro, Fabio Aurelio 1 De Bona, Glauber 1 De Grave, Kurt 1 Demeester, Thomas 1 Denecker, Marc 1 Di Franco, Anthony 1 Dimitrov, Radoslav 1 Doleschal, Johannes 1 Dries, Anton 1 Ferilli, Stefano 1 Fierens, Daan 1 Filippou, Jason 1 Finthammer, Marc 1 Flach, Peter A. 1 Fokkinga, Daniël 1 Forsyth, Peter A. 1 Fraccaroli, Michele 1 Gagliardi Cozman, Fabio 1 Gavanelli, Marco 1 Gelfond, Michael 1 Getoor, Lise 1 Ghosh, Sarthak 1 Goel, Rishab 1 Gottlob, Georg 1 Gu, Tao 1 Guimarães, Victor 1 Gusmão, Arthur Colombini 1 Hescott, Benjamin J. 1 Holtzen, Steven 1 Hommersom, Arjen 1 Hoos, Holger H. 1 Hunter, Anthony 1 Ishihata, Masakazu ...and 88 more Authors all top 5 Cited in 14 Serials 25 Machine Learning 17 Theory and Practice of Logic Programming 15 International Journal of Approximate Reasoning 13 Artificial Intelligence 3 Annals of Mathematics and Artificial Intelligence 3 Logical Methods in Computer Science 1 Computers & Mathematics with Applications 1 Journal of Automated Reasoning 1 The Journal of Artificial Intelligence Research (JAIR) 1 Logic Journal of the IGPL 1 Journal of Machine Learning Research (JMLR) 1 ACM Transactions on Computational Logic 1 Journal of Multiple-Valued Logic and Soft Computing 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 11 Fields 102 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 8 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year