Advertisement

Logic, Rationality, and Interaction

6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

  • Alexandru Baltag
  • Jeremy Seligman
  • Tomoyuki Yamada

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10455)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10455)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Long Papers

    1. Front Matter
      Pages 1-1
    2. Petr Cintula, Carles Noguera, Nicholas J. J. Smith
      Pages 3-16
    3. Alexandru Baltag, Andrés Occhipinti
      Pages 17-32
    4. Valentin Goranko, Antti Kuusisto, Raine Rönnholm
      Pages 33-48
    5. Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu
      Pages 49-64
    6. Norihiro Kamide, Hitoshi Omori
      Pages 79-93
    7. Dominik Klein, Rasmus K. Rendsvig
      Pages 108-122
    8. Huimin Dong, Olivier Roy
      Pages 123-136
    9. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
      Pages 137-150
    10. Zoé Christoff, Davide Grossi
      Pages 166-180
    11. Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün
      Pages 181-194
    12. Carlo Proietti
      Pages 195-208
    13. Frederik Van De Putte, Allard Tamminga, Hein Duijf
      Pages 209-223
    14. Hitoshi Omori, Damian Szmuc
      Pages 268-283
    15. Alexander W. Kocurek
      Pages 284-298
    16. Fernando R. Velázquez-Quesada
      Pages 314-329
    17. Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
      Pages 330-346
    18. Christophe Chareton, Hans van Ditmarsch
      Pages 347-361
    19. Sonja Smets, Fernando R. Velázquez-Quesada
      Pages 377-390
    20. AnneMarie Borg, Daniel Frey, Dunja Šešelja, Christian Straßer
      Pages 391-406
    21. Vít Punčochář, Igor Sedlár
      Pages 407-421
    22. Esther Anna Corsi, Christian G. Fermüller
      Pages 422-437
    23. Rohan French, Shawn Standefer
      Pages 438-450
    24. Hitoshi Omori
      Pages 451-465
    25. Konstantinos Georgatos
      Pages 466-479
    26. Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
      Pages 480-496
    27. Andreas Kapsner, Hitoshi Omori
      Pages 497-511
    28. Fengkui Ju, Gianluca Grilletti
      Pages 512-525
    29. Jinsheng Chen, Minghui Ma
      Pages 526-540
    30. Marc-Kevin Daoust, David Montminy
      Pages 541-553
    31. Shuhei Shimamura
      Pages 570-584
    32. Guifei Jiang, Laurent Perrussel, Dongmo Zhang
      Pages 598-613
    33. Sébastien Konieczny, Ramón Pino Pérez
      Pages 614-627
  3. Short Papers

    1. Front Matter
      Pages 629-629
    2. Jie Fan
      Pages 643-647
    3. Xingchi Su
      Pages 653-657

About these proceedings

Introduction

This LNCS volume  is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. 

The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural Language, Philosophy and Philosophical Logic,  and Strategic Reasoning. 

Keywords

semantics agents formal logic modal logic sequent calculus logic programming multi-agent systems knowledge based systems argumentation natural language strategic reasoning belief representation

Editors and affiliations

  • Alexandru Baltag
    • 1
  • Jeremy Seligman
    • 2
  • Tomoyuki Yamada
    • 3
  1. 1.Institute for Logic, Language and ComputationUniversity of Amsterdam AmsterdamThe Netherlands
  2. 2.Department of PhilosophyThe University of AucklandAucklandNew Zealand
  3. 3.Graduate School of LettersHokkaido University SapporoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-55665-8
  • Copyright Information Springer-Verlag GmbH Germany 2017
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-55664-1
  • Online ISBN 978-3-662-55665-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site