Advertisement

Logic Programming and Nonmonotonic Reasoning

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

  • Marcello Balduccini
  • Tomi Janhunen

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
    5. Zhizheng Zhang
      Pages 205-211
  5. LPNMR Systems

    1. Front Matter
      Pages 213-213
    2. Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri et al.
      Pages 215-221
    3. Alexander Greßler, Johannes Oetsch, Hans Tompits
      Pages 229-235
    4. Carlos Lopes, Matthias Knorr, João Leite
      Pages 236-249
    5. Jörg Pührer
      Pages 250-262
  6. LPNMR Applications

    1. Front Matter
      Pages 263-263
    2. Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh et al.
      Pages 265-278
    3. Marc Dahlem, Tripti Jain, Klaus Schneider, Michael Gillmann
      Pages 279-285
    4. Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
      Pages 286-300
    5. Carmine Dodaro, Marco Maratea
      Pages 301-307
    6. Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
      Pages 308-321
    7. Alex Brik, Jeffrey Remmel
      Pages 322-335
  7. Back Matter
    Pages 359-359

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
  • Buy this book on publisher's site