Logic Programming

DOI10.1007/B99475MaRDI QIDQ5313205zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Inductive Logic Programming
• Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
• Probabilistic logic programming
• Logic Programming
• SLGAD resolution for inference on logic programs with annotated disjunctions

Cited in

(58)

• ALLPAD: approximate learning of logic programs with annotated disjunctions
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Probabilistic logic programming
• PR-OWL - a language for defining probabilistic ontologies
• Causal inference in cplint
• Learning to rank in PRISM
• Probabilistic inductive constraint logic
• Learning hierarchical probabilistic logic programs
• Abduction with probabilistic logic programming under the distribution semantics
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• Explanations as programs in probabilistic logic programming
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• A semantics for hybrid probabilistic logic programs with function symbols
• Complexity results for probabilistic answer set programming
• P-log: refinement and a new coherency condition
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
• Lifted discriminative learning of probabilistic logic programs
• A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
• Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
• SLGAD resolution for inference on logic programs with annotated disjunctions
• Approximate Inference for Logic Programs with Annotated Disjunctions
• The distribution semantics for normal programs with function symbols
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
• A Logical Approach to Qualitative and Quantitative Reasoning
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• scientific article; zbMATH DE number 1267566 (Why is no real title available?)
• Applying the information bottleneck to statistical relational learning
• Characterizing and extending answer set semantics using possibility theory
• Introduction to the special issue on probability, logic and learning
• Structure learning of probabilistic logic programs by searching the clause space
• Optimizing probabilities in probabilistic logic programs
• Nonground abductive logic programming with probabilistic integrity constraints
• MAP inference for probabilistic logic programming
• A survey of directed entity-relation-based first-order probabilistic languages
• Using SWISH to realize interactive web-based tutorials for logic-based languages
• Learning effect axioms via probabilistic logic programming
• Logic Programming and Nonmonotonic Reasoning
• Probabilistic Inductive Logic Programming
• New Advances in Logic-Based Probabilistic Modeling by PRISM
• Inductive Logic Programming
• On the Efficient Execution of ProbLog Programs
• Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
• Learning Distributional Programs for Relational Autocompletion
• Fifty Years of Prolog and Beyond
• Lifted inference for statistical statements in probabilistic answer set programming
• Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
• The generalised distribution semantics and projective families of distributions
• Semirings for probabilistic and neuro-symbolic logic programming
• Languages for probabilistic modeling over structured and relational domains
• Syntactic requirements for well-defined hybrid probabilistic logic programs
• Mixtures of probabilistic logic programs
• A distribution semantics for probabilistic term rewriting
• A semantics for probabilistic hybrid knowledge bases with function symbols
• ``What if? in probabilistic logic programming
• Swift Markov logic for probabilistic reasoning on knowledge graphs
• Predicate renaming via large language models
• Probabilistic (logic) programming concepts
• Bandit-based Monte-Carlo structure learning of probabilistic logic programs

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)