ijcai 2018 论文列表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. |
Directionality of Attacks in Natural Language Argumentation.
Reasoning About the Sizes of Sets: Progress, Problems, and Prospects.
Towards Human Readability of Automated Unknottedness Proofs.
Reflection and Introspection for Humanized Intelligent Agents.
A Formal Analysis of Enthymematic Arguments.
Automating "Human-Like" Example-Use in Mathematics.
Ethical Decision Making under the Weak Completion Semantics.