caspo: a toolbox for automated reasoning on the response of logical signaling networks families.
Santiago VidelaJulio Saez-RodriguezCarito GuziolowskiAnne SiegelPublished in: Bioinform. (2017)
Keyphrases
- automated reasoning
- logical implication
- reasoning systems
- probabilistic reasoning
- knowledge representation
- decision procedures
- reasoning tasks
- theorem prover
- theorem proving
- social networks
- knowledge representation and reasoning
- automated verification
- probabilistic logic
- propositional satisfiability
- knowledge base
- machine learning
- inference rules
- constraint satisfaction
- dynamic programming
- search algorithm
- prime implicants
- artificial intelligence