1
TITLE: ProbLog Technology for Inference in a Probabilistic First Order Logic
AUTHORS: Maurice Bruynooghe; Theofrastos Mantadelis ; Angelika Kimmig; Bernd Gutmann; Joost Vennekens; Gerda Janssens; Luc De Raedt;
PUBLISHED: 2010, SOURCE: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, VOLUME: 215
INDEXED IN: DBLP
4
TITLE: Deduction Revision by Intelligent Backtracking
AUTHORS: Maurice Bruynooghe; Luís Moniz Pereira ;
PUBLISHED: 1984, SOURCE: Implementations of Prolog
INDEXED IN: DBLP