The PITA system: Tabling and answer subsumption for reasoning under uncertainty.
Fabrizio RiguzziTerrance SwiftPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- reasoning under uncertainty
- probabilistic reasoning
- artificial intelligence
- logic programming
- probability theory
- knowledge engineering
- description logics
- reasoning process
- np complete
- decision making
- decision analysis
- automated reasoning
- reasoning systems
- probabilistic inference
- belief networks
- gene regulatory networks
- bayesian networks