Probabilistic reasoning with answer sets

DOI10.1017/S1471068408003645zbMATH Open1170.68003OpenAlexW2161403060MaRDI QIDQ3612603FDOQ3612603

Authors: Nelson Rushton, Chitta Baral, Michael Gelfond 

Publication date: 10 March 2009

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068408003645

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
• Publication:3028979
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference

zbMATH Keywords

probabilistic reasoninglogic programminganswer setsAnswer Set Prolog

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Cites Work

• ASSAT: computing answer sets of a logic program by SAT solvers
• Extending and implementing the stable model semantics
• Nested expressions in logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Weight constraints as nested expressions
• The DLV system for knowledge representation and reasoning
• Strongly equivalent logic programs
• Probabilistic logic
• Constructible falsity
• Markov logic networks
• The independent choice logic for modelling multiple agents under uncertainty
• Probabilistic logic programming
• An analysis of first-order logics of probability
• Probabilistic Horn abduction and Bayesian networks
• Abducing through negation as failure: stable models within the independent choice logic
• Logic programming and knowledge representation
• Stable semantics for probabilistic deductive databases
• A new definition of SLDNF-resolution
• The limitation of Bayesianism
• Answering queries from context-sensitive probabilistic knowledge bases
• Efficient top-down computation of queries under the well-founded semantics

Cited In (46)

• 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 +
• The generalised distribution semantics and projective families of distributions
• Title not available (Why is that?)
• Typicalities and probabilities of exceptions in nonmotonic description logics
• Aspmc: new frontiers of algebraic answer set counting
• Random logic programs: Linear model
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
• 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}
• Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language
• A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
• Semiring programming: a semantic framework for generalized sum product problems
• Dialectical Proof Procedures for Probabilistic Abstract Argumentation
• Computing LP^MLN using ASP and MLN solvers
• Languages for probabilistic modeling over structured and relational domains
• Title not available (Why is that?)
• Forecasting with jury-based probabilistic argumentation
• Lifted inference for statistical statements in probabilistic answer set programming
• Learning Probabilistic Logic Programs over Continuous Data
• Robot location estimation in the situation calculus
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• Dealing with explicit preferences and uncertainty in answer set programming
• Quantitative semantics for uncertain knowledge bases
• Probabilistic (logic) programming concepts
• Efficient Knowledge Compilation Beyond Weighted Model Counting
• Syntax and semantics of multi-adjoint normal logic programming
• Semiring reasoning frameworks in AI and their computational complexity
• Title not available (Why is that?)
• Abduction with probabilistic logic programming under the distribution semantics
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification
• Causal and probabilistic reasoning in P-log
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• The PITA system: tabling and answer subsumption for reasoning under uncertainty
• Logic Programming with Graded Modality
• Semantics for possibilistic disjunctive programs
• Causal inference in cplint
• Stable reasoning
• Generative Datalog and answer set programming (extended abstract)
• Logic Programming and Nonmonotonic Reasoning
• Statistical statements in probabilistic logic programming
• Complexity results for probabilistic answer set programming

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)