A Hybrid Method for Probabilistic Satisfiability

DOI10.1007/978-3-642-22438-6_27zbMath1341.68191OpenAlexW2113726481MaRDI QIDQ5200036

Bijan Parsia, Pavel Klinov

Publication date: 29 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6_27

zbMATH Keywords

column generationprobabilistic satisfiability

Mathematics Subject Classification ID

Related Items (7)

Projection, consistency, and George Boole ⋮ Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation ⋮ Probabilistic satisfiability: algorithms with the presence and absence of a phase transition ⋮ Towards classifying propositional probabilistic logics ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Probabilistic satisfiability and coherence checking through integer programming ⋮ Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy

Uses Software

• Pellet

Cites Work

• Unnamed Item
• Probabilistic logic
• A theory of diagnosis from first principles
• Merging the local and global approaches to probabilistic satisfiability
• Expressive probabilistic description logics
• Column Generation Methods for Probabilistic Logic
• The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach
• Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability

This page was built for publication: A Hybrid Method for Probabilistic Satisfiability