Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017.
Published in: Bridging@CogSci (2017)
Keyphrases
- automated reasoning
- human reasoning
- cognitive science
- cognitive psychology
- knowledge representation
- artificial intelligence
- association for computational linguistics
- computational linguistics
- cyber security and information intelligence
- student research workshop
- computer science
- lecture notes
- scientific discovery
- natural language processing
- human cognition
- probabilistic reasoning
- fuzzy logic
- poster session
- cognitive processes
- theorem proving
- international conference
- machine learning
- computational intelligence
- theorem prover
- human intelligence
- international symposium
- intelligent systems
- first order logic
- information processing
- expert systems
- real world
- cognitive scientists
- causal relationships
- natural language
- knowledge base
- bayesian networks
- logic programming
- data management
- contextual knowledge
- cognitive models
- neural network
- data warehouse
- databases
- database