Automated Reasoning on Aspects Interactions.

Paolo Falcarin Marco Torchiano

Published in: ASE (2006)

Keyphrases

automated reasoning
knowledge representation
theorem proving
theorem prover
reasoning systems
probabilistic reasoning
reasoning tasks
knowledge representation and reasoning
decision procedures
automated verification
bayesian networks
artificial neural networks
general purpose
propositional satisfiability