Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012
Published in: PAAR@IJCAR (2013)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- theorem prover
- decision procedures
- knowledge representation
- hong kong
- probabilistic reasoning
- reasoning tasks
- knowledge representation and reasoning
- automated verification
- high level
- back propagation
- first order logic
- selected papers
- propositional satisfiability