germline stem cell genetic network using automated reasoning.
Ani AmarE. Jane Albert HubbardHillel KuglerPublished in: Biosyst. (2022)
Keyphrases
- automated reasoning
- stem cell
- reasoning systems
- knowledge representation
- theorem proving
- probabilistic reasoning
- theorem prover
- decision procedures
- reasoning tasks
- knowledge representation and reasoning
- wireless sensor networks
- network structure
- propositional satisfiability
- automated verification
- neural network
- peer to peer
- genetic algorithm