Login / Signup
Towards Automated Reasoning on ORM Schemes.
Mustafa Jarrar
Published in:
ER (2007)
Keyphrases
</>
automated reasoning
reasoning systems
theorem prover
theorem proving
knowledge representation
reasoning tasks
decision procedures
probabilistic reasoning
automated verification
conceptual modeling
lower bound
knowledge representation and reasoning
first order logic
machine learning
bayesian networks