6 results · clear filters Sort: newest oldest name

1. Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human and Automated Reasoning (BtG 2019) co-located with 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, August 12, 2019. (BtG 2019)
   2019-08-12 · Macau
   Computer and information sciences
   e10jj4z
2. Workshop on Bridging the Gap between Human and Automated Reasoning (BtG)
   series, 5 events, 2015 to 2019
   Computer and information sciences
   s10jmpr
3. Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018. (Bridging 2018)
   2018-07-14 · Stockholm, Sweden
   Computer and information sciences
   e10jjnw
4. 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. (Bridging 2017)
   2017-07-26 · London, United Kingdom
   Computer and information sciences
   e10jkg5
5. 2nd Workshop on Bridging the Gap between Human and Automated Reasoning (Bridging 2016)
   2016-07-09 · New York City, United States
   Computer and information sciences
   e10jm4x
6. 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. (Bridging 2015)
   2015-08-01 · Berlin, Germany
   Computer and information sciences
   e10jmqp

As JSON: https://labs.confref.org/api/search?series=s10jmpr