The distribution semantics for normal programs with function symbols
From MaRDI portal
Publication:313122
DOI10.1016/J.IJAR.2016.05.005zbMATH Open1385.68022DBLPjournals/ijar/Riguzzi16OpenAlexW2418060149WikidataQ58063597 ScholiaQ58063597MaRDI QIDQ313122FDOQ313122
Authors: Fabrizio Riguzzi 
Publication date: 9 September 2016
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11392/2350945
Recommendations
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- Logic Programming
- A semantics for hybrid probabilistic logic programs with function symbols
- Probabilistic logic programming
Cites Work
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- Title not available (Why is that?)
- The well-founded semantics for general logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The independent choice logic for modelling multiple agents under uncertainty
- Probabilistic Horn abduction and Bayesian networks
- Infinite probability computation by cyclic explanation graphs
- Terminating evaluation of logic programs with finite three-valued models
- On the implementation of the probabilistic logic programming language ProbLog
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- Abducing through negation as failure: stable models within the independent choice logic
- Title not available (Why is that?)
- Model checking with probabilistic tabled logic programming
- Logic Programming
- Tabling for infinite probability computation
- The Independent Choice Logic and Beyond
- Title not available (Why is that?)
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
- Probabilistic (logic) programming concepts
Cited In (8)
- A semantics for hybrid probabilistic logic programs with function symbols
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- Lifted discriminative learning of probabilistic logic programs
- MAP inference for probabilistic logic programming
- Abduction with probabilistic logic programming under the distribution semantics
- Causal inference in cplint
Uses Software
This page was built for publication: The distribution semantics for normal programs with function symbols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q313122)
