A hybrid method for probabilistic satisfiability

DOI10.1007/978-3-642-22438-6_27zbMATH Open1341.68191OpenAlexW2113726481MaRDI QIDQ5200036FDOQ5200036

Authors: Pavel Klinov, Bijan Parsia 

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

Recommendations

• Probabilistic satisfiability
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Easy cases of probabilistic satisfiability
• Generalized probabilistic satisfiability
• Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem

zbMATH Keywords

column generationprobabilistic satisfiability

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability and inductive logic (03B48) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

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

Cited In (13)

• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
• Projection, consistency, and George Boole
• Probabilistic satisfiability
• Towards classifying propositional probabilistic logics
• Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy
• Languages for probabilistic modeling over structured and relational domains
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
• Merging the local and global approaches to probabilistic satisfiability
• Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
• Probabilistic satisfiability
• Probabilistic approach to the satisfiability problem
• Probabilistic satisfiability and coherence checking through integer programming

Uses Software

• Pellet

This page was built for publication: A hybrid method for probabilistic satisfiability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200036)