ProbLog Technology for Inference in a Probabilistic First Order Logic

Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt. ProbLog Technology for Inference in a Probabilistic First Order Logic. In Helder Coelho, Rudi Studer, Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 719-724, IOS Press, 2010. [doi]

@inproceedings{BruynoogheMKGVJR10,
  title = {ProbLog Technology for Inference in a Probabilistic First Order Logic},
  author = {Maurice Bruynooghe and Theofrastos Mantadelis and Angelika Kimmig and Bernd Gutmann and Joost Vennekens and Gerda Janssens and Luc De Raedt},
  year = {2010},
  doi = {10.3233/978-1-60750-606-5-719},
  url = {http://dx.doi.org/10.3233/978-1-60750-606-5-719},
  tags = {logic},
  researchr = {https://researchr.org/publication/BruynoogheMKGVJR10},
  cites = {0},
  citedby = {0},
  pages = {719-724},
  booktitle = {ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings},
  editor = {Helder Coelho and Rudi Studer and Michael Wooldridge},
  volume = {215},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-60750-605-8},
}