Cited in
(5)- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
- Deciding Koopman's qualitative probability
- Rota's Fubini lectures: the first problem
- An efficient algorithm for representing piecewise linear functions into logic
- Quantitative logic reasoning
This page was built for software: LIPSAT
