Automated Reasoning for Regulatory Compliance.
Alberto SienaSilvia IngolfoAnna PeriniAngelo SusiJohn MylopoulosPublished in: ER (2013)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- theorem prover
- theorem proving
- decision procedures
- automated verification
- reasoning tasks
- probabilistic reasoning
- knowledge representation and reasoning
- propositional satisfiability
- logical implication
- high level
- special case
- propositional logic
- prime implicants