CEUR-WS.org/Vol-2261 - Workshop on Bridging the Gap between Human and Automated Reasoning 2018

Bridging 2018
Bridging the Gap between Human and Automated Reasoning

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoning
co-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 .

Edited by

University of Koblenz-Landau

Preface

Ethical Decision Making under the Weak Completion Semantics 1
Steffen Hölldobler
Automating “Human-Like” Example-Use in Mathematics 6-12
Alison Pease , Ursula Martin
A Formal Analysis of Enthymematic Arguments 13-18
Sjur K. Dyrkolbotn , Truls Pedersen
Reflection and Introspection for Humanized Intelligent Agents 19-26
Stefania Costantini , Abeer Dyoub Valentina Pitoni
Towards Human Readability of Automated Unknottedness Proofs 27-32
Andrew Fish , Alexei Lisitsa Alexei Vernitski
Reasoning About the Sizes of Sets: Progress, Problems, and Prospects 33-39
Lawrence S. Moss , Charlotte Raty
Directionality of Attacks in Natural Language Argumentation 40-46
Marcos Cramer , Mathieu Guillaume

2018-11-30: submitted by Claudia Schon, metadata incl. bibliographic data published under Creative Commons CC0
2018-12-02 : published on CEUR-WS.org | valid HTML5 |

Bridging 2018
Bridging the Gap between Human and Automated Reasoning

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoning
co-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 .

Claudia Schon *

Table of Contents

Bridging 2018 Bridging the Gap between Human and Automated Reasoning

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoning co-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 .

Claudia Schon *

Table of Contents

Bridging 2018
Bridging the Gap between Human and Automated Reasoning

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoning
co-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence ( IJCAI-ECAI 2018 )