BLOG swMATH ID: 22025 Software Authors: Milch, B.; Marthi, B.; Russell, S.; Sontag, D.; Ong, D.L.; Kolobov, A. Description: BLOG: probabilistic models with unknown objects. This paper introduces and illustrates BLOG, a formal language for defining probability models over worlds with unknown objects and identity uncertainty. BLOG unifies and extends several existing approaches. Subject to certain acyclicity constraints, every BLOG model specifies a unique probability distribution over first-order model structures that can contain varying and unbounded numbers of objects. Furthermore, complete inference algorithms exist for a large fragment of the language. We also introduce a probabilistic form of Skolemization for handling evidence. Homepage: https://dl.acm.org/citation.cfm?id=1642293.1642508 Related Software: Church; ProbLog; IBAL; PRISM; BUGS; PREGO; MEBN; FACTORIE; PITA; Haskell; CP-logic; ETPS; Dyna; BayesOWL; PR-OWL; KnowRob; Figaro; PRMLT; Stan; WinBUGS Cited in: 38 Publications all top 5 Cited by 76 Authors 6 De Raedt, Luc 5 Belle, Vaishak 3 Gagliardi Cozman, Fabio 3 Kimmig, Angelika 3 Levesque, Hector J. 3 Lloyd, John Wylie 3 Mauá, Denis Deratani 3 Ng, Kee Siong 2 de Laet, Tinne 2 Getoor, Lise 2 Nitti, Davide 2 Uther, William T. B. 1 Aggarwal, Jake K. 1 Bach, Stephen H. 1 Blackmond Laskey, Kathryn 1 Borgström, Johannes 1 Broecheler, Matthias 1 Carvalho, Rommel N. 1 Chiang, Michael 1 Cline, M. 1 Costa, Paulo C. G. 1 Cozman, Fabio G. 1 de Campos, Cassio Polpo 1 Dechter, Rina 1 Downey, Doug 1 Etzioni, Oren 1 Fan, Xiuyi 1 Frasconi, Paolo 1 Gao, Tianxiang 1 Gelfond, Michael 1 Gordon, Andrew D. 1 Greenberg, Michael D. 1 Hadiji, Fabian 1 Henderson, Thomas C. 1 Hommersom, Arjen 1 Huang, Bert 1 Hutter, Marcus 1 Jäger, Manfred 1 Kane, Jonathan M. 1 Kersting, Kristian 1 Khosravi, Hassan 1 Kirkpatrick, Arthur E. 1 Kiselyov, Oleg 1 Laskey, Kathryn B. 1 Lucas, Peter J. F. 1 Luna, José Eduardo Ochoa 1 Margetson, James 1 Mateescu, Robert 1 Meert, Wannes 1 Michels, Steffen 1 Mihalkova, Lilyana 1 Mitiche, Amar 1 Mjolsness, Eric 1 Molina, Alejandro 1 Natarajan, Sriraam 1 Orsini, Francesco 1 Pirri, Fiora 1 Riguzzi, Fabrizio 1 Ryoo, M. S. 1 Sacharny, D. 1 Schulte, Oliver 1 Serbinowski, Bernard 1 Soderland, Stephen 1 Sridharan, Mohan 1 Sylvester, Zoltán 1 Szałas, Andrzej 1 Van Den Broeck, Guy 1 Van Gael, Jurgen 1 Velikova, Marina 1 Vlasselaer, Jonas 1 von Sydow, Momme 1 Wingate, David Lionel 1 Wolinsky, Matt 1 Yosiphon, Guy 1 Zhang, Shiqi 1 Zhu, Yuke all top 5 Cited in 13 Serials 8 Artificial Intelligence 7 International Journal of Approximate Reasoning 7 Machine Learning 4 Journal of Applied Logic 3 Annals of Mathematics and Artificial Intelligence 1 Journal of Mathematical Psychology 1 International Journal of Computer Vision 1 The Journal of Artificial Intelligence Research (JAIR) 1 Theory and Practice of Logic Programming 1 Journal of Machine Learning Research (JMLR) 1 Journal of Multiple-Valued Logic and Soft Computing 1 Logical Methods in Computer Science 1 Mathematical Geosciences all top 5 Cited in 7 Fields 35 Computer science (68-XX) 9 Statistics (62-XX) 7 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) 1 Geophysics (86-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year