Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic

DOI10.1007/978-3-319-94205-6_14zbMath1468.68199OpenAlexW2810505337WikidataQ117022075 ScholiaQ117022075MaRDI QIDQ1799080

Marcelo Finger, Sandro Preto

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_14

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Fuzzy logic; logic of vagueness (03B52) Probability and inductive logic (03B48) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Many-valued logic (03B50)

Related Items (7)

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability ⋮ Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics ⋮ An efficient algorithm for representing piecewise linear functions into logic ⋮ Quantitative Logic Reasoning ⋮ Deciding Koopman's qualitative probability ⋮ Rota's Fubini lectures: the first problem ⋮ LIPSAT

Uses Software

• SCIP
• Yices

This page was built for publication: Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic