Automated Reasoning using Abduction for Interpretation of Medical Signals.
Marjan AlirezaieAmy LoutfiPublished in: J. Biomed. Semant. (2014)
Keyphrases
- automated reasoning
- logical implication
- reasoning tasks
- reasoning systems
- knowledge representation
- decision procedures
- probabilistic reasoning
- theorem proving
- theorem prover
- knowledge representation and reasoning
- abductive reasoning
- high level
- background knowledge
- logic programming
- belief revision
- semi supervised
- probabilistic logic
- state space
- propositional satisfiability