Skip to main content
  • Conference proceedings
  • © 2013

Logic Programming and Nonmonotonic Reasoning

12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

  • Up-to-date results

  • State-of-the-art research

  • Fast-track conference proceedings

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

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

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (55 papers)

  1. Front Matter

  2. Towards Reactive Multi-Context Systems

    • Gerhard Brewka
    Pages 1-10
  3. Logic Programming in the 1970s

    • Robert Kowalski
    Pages 11-22
  4. Integrating Temporal Extensions of Answer Set Programming

    • Felicidad Aguado, Gilberto Pérez, Concepción Vidal
    Pages 23-35
  5. Forgetting under the Well-Founded Semantics

    • José Júlio Alferes, Matthias Knorr, Kewen Wang
    Pages 36-41
  6. The Fourth Answer Set Programming Competition: Preliminary Report

    • Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni et al.
    Pages 42-53
  7. WASP: A Native ASP Solver Based on Constraint Learning

    • Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
    Pages 54-66
  8. ARVis: Visualizing Relations between Answer Sets

    • Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran
    Pages 73-78
  9. Symbolic System Synthesis Using Answer Set Programming

    • Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
    Pages 79-91
  10. Accurate Computation of Sensitizable Paths Using Answer Set Programming

    • Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
    Pages 92-101
  11. Hex Semantics via Approximation Fixpoint Theory

    • Christian Antić, Thomas Eiter, Michael Fink
    Pages 102-115
  12. Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

    • Saadat Anwar, Chitta Baral, Katsumi Inoue
    Pages 116-121
  13. Towards Answer Set Programming with Sorts

    • Evgenii Balai, Michael Gelfond, Yuanlin Zhang
    Pages 135-147
  14. Prolog and ASP Inference under One Roof

    • Marcello Balduccini, Yuliya Lierler, Peter Schüller
    Pages 148-160
  15. Towards Query Answering in Relational Multi-Context Systems

    • Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina
    Pages 168-173
  16. Spectra in Abstract Argumentation: An Analysis of Minimal Change

    • Ringo Baumann, Gerhard Brewka
    Pages 174-186

Other Volumes

  1. Logic Programming and Nonmonotonic Reasoning

About this book

This volume contains the refereed proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.

Editors and Affiliations

  • Department of Computer Science, University of Corunna, Corunna, Spain

    Pedro Cabalar

  • Department of Computer Science, New Mexico State University, Las Cruces, USA

    Tran Cao Son

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access