Probabilistic reasoning with answer sets
From MaRDI portal
Redirect page
Publication:3612603
Publication:3612603
Redirect to:
Recommendations
- Logic Programming and Nonmonotonic Reasoning
- Complexity results for probabilistic answer set programming
- Probabilistic Reasoning by SAT Solvers
- A general approach to reasoning with probabilities
- scientific article; zbMATH DE number 1531963
- Propositional reasoning that tracks probabilistic reasoning
- Probabilistic reasoning with abstract argumentation frameworks
- scientific article; zbMATH DE number 4016864
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
Cites work
- A new definition of SLDNF-resolution
- ASSAT: computing answer sets of a logic program by SAT solvers
- Abducing through negation as failure: stable models within the independent choice logic
- An analysis of first-order logics of probability
- Answering queries from context-sensitive probabilistic knowledge bases
- Constructible falsity
- Efficient top-down computation of queries under the well-founded semantics
- Extending and implementing the stable model semantics
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic programming and knowledge representation
- Markov logic networks
- Nested expressions in logic programs
- Probabilistic Horn abduction and Bayesian networks
- Probabilistic logic
- Probabilistic logic programming
- Stable semantics for probabilistic deductive databases
- Strongly equivalent logic programs
- The DLV system for knowledge representation and reasoning
- The independent choice logic for modelling multiple agents under uncertainty
- The limitation of Bayesianism
- Weight constraints as nested expressions
Cited in
(54)- Hybrid answer set programming
- P-log: refinement and a new coherency condition
- An application of answer set programming to the field of second language acquisition
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +
- Typicalities and probabilities of exceptions in nonmotonic description logics
- The generalised distribution semantics and projective families of distributions
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Aspmc: new frontiers of algebraic answer set counting
- Possibilistic nested logic programs and strong equivalence
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
- A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog}
- Semiring programming: a semantic framework for generalized sum product problems
- Dialectical Proof Procedures for Probabilistic Abstract Argumentation
- On the probability and cost of ignorance, inconsistency, nonsense and more
- Solving decision theory problems with probabilistic answer set programming
- Probabilistic answer set programming with discrete and continuous random variables
- scientific article; zbMATH DE number 1849165 (Why is no real title available?)
- Languages for probabilistic modeling over structured and relational domains
- \textsc{sm}ProbLog: stable model semantics in ProbLog for probabilistic argumentation
- Specifying and reasoning about CPS through the lens of the NIST CPS framework
- Embracing background knowledge in the analysis of actual causality: an answer set programming approach
- Declarative approaches to counterfactual explanations for classification
- Forecasting with jury-based probabilistic argumentation
- Lifted inference for statistical statements in probabilistic answer set programming
- On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs
- Robot location estimation in the situation calculus
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Logic programming with graded modality
- Dealing with explicit preferences and uncertainty in answer set programming
- Probabilistic (logic) programming concepts
- Bridging commonsense reasoning and probabilistic planning via a probabilistic action language
- Random logic programs: linear model
- Quantitative semantics for uncertain knowledge bases
- Syntax and semantics of multi-adjoint normal logic programming
- Efficient Knowledge Compilation Beyond Weighted Model Counting
- A general approach to reasoning with probabilities
- Semiring reasoning frameworks in AI and their computational complexity
- Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
- Abduction with probabilistic logic programming under the distribution semantics
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- Probability logic and statistical relational artificial intelligence
- Learning probabilistic logic programs over continuous data
- Causal and probabilistic reasoning in P-log
- A ``conservative approach to extending answer set programming with non-Herbrand functions
- Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- Semantics for possibilistic disjunctive programs
- Causal inference in cplint
- Stable reasoning
- A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
- Generative Datalog and answer set programming (extended abstract)
- Statistical statements in probabilistic logic programming
- Complexity results for probabilistic answer set programming
- Logic Programming and Nonmonotonic Reasoning
This page was built for publication: Probabilistic reasoning with answer sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612603)
