Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015.
Published in: Bridging@CADE (2015)
Keyphrases
- automated reasoning
- automated deduction
- lecture notes
- theorem proving
- acm sigkdd
- computer science
- theorem prover
- knowledge discovery and data mining
- lecture notes in artificial intelligence
- naacl hlt
- international workshop
- cyber security and information intelligence
- selected papers
- international conference
- knowledge representation
- inference rules
- workshop on artificial intelligence
- artificial intelligence
- springer verlag
- neural network
- reasoning tasks
- deductive databases
- probabilistic reasoning
- general purpose
- computer society
- data mining