A hybrid method for probabilistic satisfiability

DOI10.1007/978-3-642-22438-6_27MaRDI QIDQ5200036zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• A theory of diagnosis from first principles
• Column Generation Methods for Probabilistic Logic
• Expressive probabilistic description logics
• Merging the local and global approaches to probabilistic satisfiability
• Probabilistic logic
• Probabilistic satisfiability
• The consistency of the CADIAG-2 knowledge base: a probabilistic approach
• 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

Describes a project that uses

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)