P-log: refinement and a new coherency condition
From MaRDI portal
Publication:2317975
DOI10.1007/S10472-019-09620-2zbMATH Open1485.68247OpenAlexW2915592069MaRDI QIDQ2317975FDOQ2317975
Authors: Evgenii Balai, Michael Gelfond, Yuanlin Zhang
Publication date: 13 August 2019
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-019-09620-2
Recommendations
Cites Work
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probability Theory
- Title not available (Why is that?)
- The independent choice logic for modelling multiple agents under uncertainty
- Probabilistic logic programming
- Probabilistic Horn abduction and Bayesian networks
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Logic Programming
- Probabilistic (logic) programming concepts
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Probabilistic reasoning with answer sets
- Probabilistic description logic programs
- Partial Functions and Equality in Answer Set Programming
- Logic Programming and Nonmonotonic Reasoning
- Answering queries from context-sensitive probabilistic knowledge bases
- Vicious Circle Principle and Logic Programs with Aggregates
- Title not available (Why is that?)
- On the Semantics and Complexity of Probabilistic Logic Programs
- Towards Answer Set Programming with Sorts
- Vicious circle principle and formation of sets in ASP based languages
- A ``conservative approach to extending answer set programming with non-Herbrand functions
- Causal and probabilistic reasoning in P-log
Cited In (2)
Uses Software
This page was built for publication: P-log: refinement and a new coherency condition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2317975)