The PITA system: Tabling and answer subsumption for reasoning under uncertainty

Mathematics

• Reasoning under Uncertainty 100%
• Probabilistic Programming 74%
• Logic Programming 72%
• Probabilistic Logic 68%
• Logic Programs 39%
• Query 19%
• Uncertainty 16%
• Language 14%
• Libraries 14%
• Alternatives 8%
• Form 8%
• Markov Model 7%
• Programming Languages 7%
• Semantics 5%
• Evaluate 5%
• Logic 5%
• Optimization 5%
• Path 4%
• Metric 4%
• Computing 4%
• Model 2%

Engineering & Materials Science

• Probabilistic logics 72%
• Logic programming 70%
• Uncertainty 37%
• Hidden Markov models 6%
• Application programming interfaces (API) 6%
• Interfaces (computer) 6%
• Computer programming languages 6%
• Semantics 4%