Pages that link to "Item:Q4484722"
From MaRDI portal
The following pages link to Abducing through negation as failure: stable models within the independent choice logic (Q4484722):
Displaying 26 items.
- The distribution semantics for normal programs with function symbols (Q313122) (← links)
- Constraint-based probabilistic modeling for statistical abduction (Q413868) (← links)
- ILP turns 20. Biography and future challenges (Q439010) (← links)
- Negative probabilities in probabilistic logic programs (Q518605) (← links)
- On the complexity of propositional and relational credal networks (Q518627) (← links)
- Probabilistic (logic) programming concepts (Q894692) (← links)
- An OpenCL implementation of a forward sampling algorithm for CP-logic (Q900368) (← links)
- The independent choice logic for modelling multiple agents under uncertainty (Q1391346) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- Causal inference in cplint (Q1679666) (← links)
- Abduction with probabilistic logic programming under the distribution semantics (Q2076968) (← links)
- Handling epistemic and aleatory uncertainties in probabilistic circuits (Q2163184) (← links)
- A semantics for hybrid probabilistic logic programs with function symbols (Q2238621) (← links)
- Complexity results for probabilistic answer set programming (Q2302961) (← links)
- Lifted discriminative learning of probabilistic logic programs (Q2425249) (← links)
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty (Q3087434) (← links)
- Probabilistic Rule Learning in Nonmonotonic Domains (Q3092307) (← links)
- A Logical Approach to Qualitative and Quantitative Reasoning (Q3524928) (← links)
- Probabilistic reasoning with answer sets (Q3612603) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- Dialectical Proof Procedures for Probabilistic Abstract Argumentation (Q4571152) (← links)
- MAP Inference for Probabilistic Logic Programming (Q5140005) (← links)
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics (Q5299588) (← links)
- The Independent Choice Logic and Beyond (Q5452027) (← links)
- On the Efficient Execution of ProbLog Programs (Q5504655) (← links)
- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (Q5504688) (← links)
