Abducing through negation as failure: stable models within the independent choice logic
From MaRDI portal
Publication:4484722
DOI10.1016/S0743-1066(99)00071-0zbMath0957.68013MaRDI QIDQ4484722
No author found.
Publication date: 25 May 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (27)
The distribution semantics for normal programs with function symbols ⋮ Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Handling epistemic and aleatory uncertainties in probabilistic circuits ⋮ Dialectical Proof Procedures for Probabilistic Abstract Argumentation ⋮ Causal inference in cplint ⋮ The independent choice logic for modelling multiple agents under uncertainty ⋮ Forecasting with jury-based probabilistic argumentation ⋮ Probabilistic (logic) programming concepts ⋮ Constraint-based probabilistic modeling for statistical abduction ⋮ Lifted discriminative learning of probabilistic logic programs ⋮ An OpenCL implementation of a forward sampling algorithm for CP-logic ⋮ ILP turns 20. Biography and future challenges ⋮ A Logical Approach to Qualitative and Quantitative Reasoning ⋮ MAP Inference for Probabilistic Logic Programming ⋮ A semantics for hybrid probabilistic logic programs with function symbols ⋮ Negative probabilities in probabilistic logic programs ⋮ On the complexity of propositional and relational credal networks ⋮ Probabilistic reasoning with answer sets ⋮ The Independent Choice Logic and Beyond ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Complexity results for probabilistic answer set programming ⋮ The PITA system: Tabling and answer subsumption for reasoning under uncertainty ⋮ Probabilistic Rule Learning in Nonmonotonic Domains ⋮ Abduction with probabilistic logic programming under the distribution semantics ⋮ On the Efficient Execution of ProbLog Programs ⋮ Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
This page was built for publication: Abducing through negation as failure: stable models within the independent choice logic
