Logic Programming and Nonmonotonic Reasoning

14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

  • Marcello Balduccini
  • Tomi Janhunen
Conference proceedings LPNMR 2017
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10377)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Talks

  3. Nonmonotonic Reasoning

    1. Front Matter
      Pages 41-41
    2. Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli
      Pages 43-48
    3. Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
      Pages 57-63
    4. Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
      Pages 64-77
  4. Answer Set Programming

    1. Front Matter
      Pages 115-115
    2. Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
      Pages 117-131
    3. Johannes K. Fichte, Markus Hecher, Michael Morak, Stefan Woltran
      Pages 132-145
    4. Michael Gelfond, Yuanlin Zhang
      Pages 146-159

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017.
The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks.
The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications.

Keywords

answer set answer set programming artificial intelligence abduction abstract argumentation autoepistemic logic constrains deductive databases default reasoning description logics knoweldge based systems knowledge representation logic programming logic programs Multi-Agent Systems (MAS) non-monotonic reasoning programming languages knowledge representation and reasoning solvers, testing, synthesis semantics

Editors and affiliations

  • Marcello Balduccini
    • 1
  • Tomi Janhunen
    • 2
  1. 1.Drexel UniversityPhiladelphiaUSA
  2. 2.Aalto UniversityEspooFinland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-61660-5
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-61659-9
  • Online ISBN 978-3-319-61660-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349