Pages that link to "Item:Q1799080"
From MaRDI portal
The following pages link to Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic (Q1799080):
Displaying 8 items.
- LIPSAT (Q40347) (← links)
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- Rota's Fubini lectures: the first problem (Q2020017) (← links)
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (Q2209555) (← links)
- An efficient algorithm for representing piecewise linear functions into logic (Q2229157) (← links)
- Deciding Koopman's qualitative probability (Q2238703) (← links)
- Quantitative Logic Reasoning (Q3305344) (← links)
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (Q5889305) (← links)