ProbLog Technology for Inference in a Probabilistic First Order Logic

DOI10.3233/978-1-60750-606-5-719zbMath1211.68398OpenAlexW1554446114MaRDI QIDQ2999210

Angelika Kimmig, Bernd Gutmann, Maurice Bruynooghe, Joost Vennekens, Luc De Raedt, Theofrastos Mantadelis, Gerda Janssens

Publication date: 11 May 2011

Full work available at URL: https://doi.org/10.3233/978-1-60750-606-5-719

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (3)

Tableau reasoning for description logics and its extension to probabilities ⋮ A probabilistic logic programming event calculus ⋮ Probabilistic inductive constraint logic

Uses Software

• ProbLog

This page was built for publication: ProbLog Technology for Inference in a Probabilistic First Order Logic