Logic Programming

DOI10.1007/B99475MaRDI QIDQ5313179zbMATH OpenOpenAlexFDO

Authors Alex Dekhtyar, Michael I. Dekhtyar

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

• Logic Programming and Nonmonotonic Reasoning
• The theory of interval probabilistic logic programs
• Probabilistic logic programming
• A semantics for hybrid probabilistic logic programs with function symbols
• Probabilistic logic programming with conditional constraints

Cited in

(19)

• Logic Programming
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• On the representation and querying of sets of possible worlds
• Who shaves the barber, and with what probability?
• Focused most probable world computations in probabilistic logic programs
• Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
• The distribution semantics for normal programs with function symbols
• A Logical Approach to Qualitative and Quantitative Reasoning
• Probabilistic logic programming
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• The theory of interval probabilistic logic programs
• Using histograms to better answer queries to probabilistic logic programs
• Imprecise probabilistic Horn clause logic
• Negative probabilities in probabilistic logic programs
• Semantics for Possibilistic Disjunctive Programs
• scientific article; zbMATH DE number 2090552 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning

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 Q5313179)