ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017
Published in: ARCADE@CADE (2017)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- decision procedures
- probabilistic reasoning
- theorem prover
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- special issue
- propositional satisfiability
- neural network
- knowledge discovery and data mining
- data mining