Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics
Marcelo Finger, Sandro Preto
Topics & Concepts
Probabilistic logicSatisfiabilityProbabilistic CTLMathematicsBoolean satisfiability problemProbabilistic argumentationDiscrete mathematicsSatisfiability modulo theoriesTheoretical computer scienceComputer scienceAlgorithmAlgebra over a fieldProbabilistic analysis of algorithmsArtificial intelligencePure mathematicsAdvanced Algebra and LogicLogic, Reasoning, and KnowledgeRough Sets and Fuzzy Logic