Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics.
Marcelo FingerSandro PretoPublished in: J. Autom. Reason. (2020)
Keyphrases
- probabilistic logic
- related topics
- maximum entropy
- probabilistic reasoning
- default reasoning
- computer science
- abductive reasoning
- probabilistic knowledge
- computational complexity
- np complete
- phase transition
- probability theory
- statistical relational learning
- cp logic
- bayesian networks
- propositional logic
- natural language