| Vol-2261 urn:nbn:de:0074-2261-3 Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# 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

### Claudia Schon *

* University of Koblenz-Landau, Institute for Web Science and Technologies (WeST), 56070 Koblenz, Germany

## Table of Contents

- 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|