Probabilistic logic programming with conditional constraints

From MaRDI portal
Publication:3549126

DOI10.1145/377978.377983zbMath1171.68762OpenAlexW2005277728MaRDI QIDQ3549126

Thomas Lukasiewicz

Publication date: 21 December 2008

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/377978.377983




Related Items (29)

Probabilistic logic under coherence: complexity and algorithmsTermination of logic programs with imperfect information: applications and query procedureBeyond multi-adjoint logic programmingComputational complexity of queries based on itemsetsProbabilistic logic with independenceProbabilistic description logic programs under inheritance with overriding for the semantic WebExpressive probabilistic description logicsAssembling a consistent set of sentences in relational probabilistic logic with stochastic independenceNonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementationInconsistency-tolerant reasoning over linear probabilistic knowledge basesOn the Complexity of Probabilistic Abstract Argumentation FrameworksSyntactic reasoning with conditional probabilities in deductive argumentationOn efficiently estimating the probability of extensions in abstract argumentation frameworksA concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semanticsThe joy of probabilistic answer set programming: semantics, complexity, expressivity, inferenceA deductive probabilistic and fuzzy object-oriented database language.Imprecise probabilistic query answering using measures of ignorance and degree of satisfactionConsistency checking and querying in probabilistic databases under integrity constraintsWeak nonmonotonic probabilistic logicsThe complexity of satisfying constraints on databases of transactionsOn the complexity of propositional and relational credal networksItemset frequency satisfiability: complexity and axiomatizationA top-\(k\) query answering procedure for fuzzy logic programmingSafe projections of binary data setsProbabilistic description logic programsProbabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemPApproximate well-founded semantics, query answering and generalized normal logic programs over latticesNonmonotonic probabilistic reasoning under variable-strength inheritance with overridingComplexity results for structure-based causality.




This page was built for publication: Probabilistic logic programming with conditional constraints