Skip to main content
  • Conference proceedings
  • © 2017

Logic Programming and Nonmonotonic Reasoning

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

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning

Conference proceedings info: LPNMR 2017.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-61660-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (31 papers)

  1. Front Matter

    Pages I-XIII
  2. Nonmonotonic Reasoning

    1. Front Matter

      Pages 41-41
    2. Modular Construction of Minimal Models

      • Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli
      Pages 43-48
    3. Foundations for a Probabilistic Event Calculus

      • Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
      Pages 57-63
    4. Contextual Reasoning: Usually Birds Can Abductively Fly

      • Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
      Pages 64-77
  3. Answer Set Programming

    1. Front Matter

      Pages 115-115
    2. Gelfond-Zhang Aggregates as Propositional Formulas

      • Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
      Pages 117-131
    3. Answer Set Solving with Bounded Treewidth Revisited

      • Johannes K. Fichte, Markus Hecher, Michael Morak, Stefan Woltran
      Pages 132-145
    4. Vicious Circle Principle and Formation of Sets in ASP Based Languages

      • Michael Gelfond, Yuanlin Zhang
      Pages 146-159

Other Volumes

  1. Logic Programming and Nonmonotonic Reasoning

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

About this book

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

  • Drexel University, Philadelphia, USA

    Marcello Balduccini

  • Aalto University, Espoo, Finland

    Tomi Janhunen

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-61660-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)