The following pages link to Logic Programming (Q5313205):
Displaying 50 items.
- The distribution semantics for normal programs with function symbols (Q313122) (← links)
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs (Q324656) (← links)
- Applying the information bottleneck to statistical relational learning (Q439020) (← links)
- Probabilistic (logic) programming concepts (Q894692) (← links)
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs (Q894703) (← links)
- ALLPAD: approximate learning of logic programs with annotated disjunctions (Q1009241) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Probabilistic logic programming (Q1207942) (← links)
- PR-OWL - a language for defining probabilistic ontologies (Q1679648) (← links)
- Causal inference in cplint (Q1679666) (← links)
- Learning to rank in PRISM (Q1726418) (← links)
- Probabilistic inductive constraint logic (Q2051275) (← links)
- Learning hierarchical probabilistic logic programs (Q2071314) (← links)
- Abduction with probabilistic logic programming under the distribution semantics (Q2076968) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- Explanations as programs in probabilistic logic programming (Q2163172) (← links)
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (Q2206456) (← links)
- A semantics for hybrid probabilistic logic programs with function symbols (Q2238621) (← links)
- Complexity results for probabilistic answer set programming (Q2302961) (← links)
- P-log: refinement and a new coherency condition (Q2317975) (← links)
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics (Q2374532) (← links)
- Lifted discriminative learning of probabilistic logic programs (Q2425249) (← links)
- A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics (Q2835884) (← links)
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions (Q2883089) (← links)
- Approximate Inference for Logic Programs with Annotated Disjunctions (Q3007594) (← links)
- A Logical Approach to Qualitative and Quantitative Reasoning (Q3524928) (← links)
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability (Q3534675) (← links)
- (Q4235437) (← links)
- Characterizing and extending answer set semantics using possibility theory (Q4592973) (← links)
- Introduction to the special issue on probability, logic and learning (Q4592975) (← links)
- Structure learning of probabilistic logic programs by searching the clause space (Q4592977) (← links)
- Optimizing Probabilities in Probabilistic Logic Programs (Q5019596) (← links)
- Nonground Abductive Logic Programming with Probabilistic Integrity Constraints (Q5019597) (← links)
- MAP Inference for Probabilistic Logic Programming (Q5140005) (← links)
- A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages (Q5178091) (← links)
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (Q5197752) (← links)
- Learning Effect Axioms via Probabilistic Logic Programming (Q5240229) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424885) (← links)
- Probabilistic Inductive Logic Programming (Q5452020) (← links)
- New Advances in Logic-Based Probabilistic Modeling by PRISM (Q5452024) (← links)
- Inductive Logic Programming (Q5494330) (← links)
- On the Efficient Execution of ProbLog Programs (Q5504655) (← links)
- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (Q5504688) (← links)
- Learning Distributional Programs for Relational Autocompletion (Q6063874) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Lifted inference for statistical statements in probabilistic answer set programming (Q6064257) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)
- The generalised distribution semantics and projective families of distributions (Q6561344) (← links)
- Semirings for probabilistic and neuro-symbolic logic programming (Q6577667) (← links)
- Languages for probabilistic modeling over structured and relational domains (Q6602256) (← links)
