The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty
Fabrizio RiguzziTerrance SwiftPublished in: CoRR (2011)
Keyphrases
- reasoning under uncertainty
- probabilistic reasoning
- artificial intelligence
- logic programming
- probability theory
- description logics
- knowledge engineering
- reasoning process
- np complete
- decision making
- automated reasoning
- logic programs
- decision analysis
- reasoning systems
- knowledge representation
- neural network
- knowledge base
- gene regulatory networks
- belief networks
- data analysis
- bayesian networks