Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9, 2016.
Published in: Bridging@IJCAI (2016)
Keyphrases
- automated reasoning
- acm sigkdd
- lecture notes
- international conference
- reasoning systems
- knowledge representation
- decision procedures
- naacl hlt
- international workshop
- theorem proving
- theorem prover
- reasoning tasks
- international symposium
- knowledge representation and reasoning
- cyber security and information intelligence
- probabilistic reasoning
- workshop on artificial intelligence
- computer science
- acm sigmod
- panel discussion
- artificial intelligence
- advances in artificial intelligence
- knowledge discovery and data mining
- selected papers
- neural network
- computational intelligence
- invited talk
- propositional satisfiability
- human computation
- working conference
- computational complexity
- probabilistic inference