Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning.
Luis TariSaadat AnwarShanshan LiangJörg HakenbergChitta BaralPublished in: Pacific Symposium on Biocomputing (2010)
Keyphrases
- automated reasoning
- knowledge acquisition
- knowledge representation
- reasoning systems
- probabilistic reasoning
- decision procedures
- reasoning tasks
- theorem proving
- knowledge base
- expert systems
- theorem prover
- automated verification
- natural language
- knowledge representation and reasoning
- first order logic
- machine learning
- artificial intelligence
- domain experts
- description logics
- propositional satisfiability
- neural network
- semi supervised
- procedural knowledge
- data mining