Logic Programming
From MaRDI portal
Publication:5313205
DOI10.1007/B99475zbMATH Open1104.68391OpenAlexW2523427404MaRDI QIDQ5313205FDOQ5313205
Authors: Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe 
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99475
Recommendations
Cited In (52)
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- A survey of directed entity-relation-based first-order probabilistic languages
- P-log: refinement and a new coherency condition
- Approximate Inference for Logic Programs with Annotated Disjunctions
- Learning to rank in PRISM
- The generalised distribution semantics and projective families of distributions
- Logic Programming and Nonmonotonic Reasoning
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- Semirings for probabilistic and neuro-symbolic logic programming
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
- A semantics for hybrid probabilistic logic programs with function symbols
- Probabilistic Inductive Logic Programming
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
- Characterizing and extending answer set semantics using possibility theory
- Title not available (Why is that?)
- Learning Effect Axioms via Probabilistic Logic Programming
- Applying the information bottleneck to statistical relational learning
- Languages for probabilistic modeling over structured and relational domains
- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
- Lifted inference for statistical statements in probabilistic answer set programming
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
- The distribution semantics for normal programs with function symbols
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- Learning Distributional Programs for Relational Autocompletion
- On the Efficient Execution of ProbLog Programs
- ALLPAD: approximate learning of logic programs with annotated disjunctions
- Optimizing probabilities in probabilistic logic programs
- A Logical Approach to Qualitative and Quantitative Reasoning
- New Advances in Logic-Based Probabilistic Modeling by PRISM
- Explanations as programs in probabilistic logic programming
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs
- Probabilistic logic programming
- Probabilistic (logic) programming concepts
- Probabilistic inductive constraint logic
- Fifty Years of Prolog and Beyond
- SLGAD resolution for inference on logic programs with annotated disjunctions
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Lifted discriminative learning of probabilistic logic programs
- Structure learning of probabilistic logic programs by searching the clause space
- Learning hierarchical probabilistic logic programs
- MAP inference for probabilistic logic programming
- Nonground abductive logic programming with probabilistic integrity constraints
- Abduction with probabilistic logic programming under the distribution semantics
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- Inductive Logic Programming
- Causal inference in cplint
- PR-OWL - a language for defining probabilistic ontologies
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
- A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
- Introduction to the special issue on probability, logic and learning
- Complexity results for probabilistic answer set programming
This page was built for publication: Logic Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5313205)
