ProbLog Technology for Inference in a Probabilistic First Order Logic

DOI10.3233/978-1-60750-606-5-719MaRDI QIDQ2999210zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• scientific article; zbMATH DE number 7715470
• On the implementation of the probabilistic logic programming language ProbLog
• A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
• A first-order probabilistic logic with approximate conditional probabilities
• Inference in probabilistic logic programs with continuous random variables
• Probabilistic inference and monadic second order logic
• Probabilistic inductive logic programming. Theory and applications
• Probabilistic logic programming
• A First-Order Dynamic Probability Logic
• Publication:3028979

Cited in

(13)

• A survey of directed entity-relation-based first-order probabilistic languages
• On the implementation of the probabilistic logic programming language ProbLog
• First-Order Probabilistic Languages: Into the Unknown
• Evaluating inference algorithms for the Prolog factor language
• A first-order conditional probability logic
• A probabilistic logic programming event calculus
• Tableau reasoning for description logics and its extension to probabilities
• Efficient inference and learning in a large knowledge base. Reasoning with extracted information using a locally groundable first-order probabilistic logic
• Revising Probabilistic Prolog Programs
• Probabilistic inductive constraint logic
• First-order context-specific likelihood weighting in hybrid probabilistic logic programs
• Inference in the \(\mathrm{FO(C)}\) modelling language
• A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics

Describes a project that uses

Uses Software

• ProbLog

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999210)