: A First-Order Logic Framework for Automated Improvement of Metabolic Network Models Through Abduction.
Alexander H. GowerKonstantin KorovinDaniel BrunnsåkerIevgeniia A. TiukovaRoss D. KingPublished in: DS (2023)
Keyphrases
- first order logic
- representation language
- expressive power
- inference rules
- probabilistic model
- propositional logic
- bayesian framework
- probabilistic reasoning
- theorem prover
- abductive reasoning
- markov networks
- inductive logic programming
- knowledge representation
- theorem proving
- transitive closure
- network structure
- relational algebra
- markov logic networks