Skip to main content
SpringerLink
Log in
Book cover

Logic Programming and Nonmonotonic Reasoning

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Pedro Cabalar

    1. Department of Computer Science, University of Corunna, Corunna, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tran Cao Son

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: LPNMR 2013.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (55 papers)

  1. Front Matter

    Download chapter PDF

  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. The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics

    • Mario Alviano, Wolfgang Faber
    Pages 67-72

  9. ARVis: Visualizing Relations between Answer Sets

    • Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran
    Pages 73-78

  10. Symbolic System Synthesis Using Answer Set Programming

    • Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
    Pages 79-91

  11. Accurate Computation of Sensitizable Paths Using Answer Set Programming

    • Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
    Pages 92-101

  12. Hex Semantics via Approximation Fixpoint Theory

    • Christian Antić, Thomas Eiter, Michael Fink
    Pages 102-115

  13. Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

    • Saadat Anwar, Chitta Baral, Katsumi Inoue
    Pages 116-121

  14. Cplus 2ASP: Computing Action Language \({\cal C}\)+ in Answer Set Programming

    • Joseph Babb, Joohyung Lee
    Pages 122-134

  15. Towards Answer Set Programming with Sorts

    • Evgenii Balai, Michael Gelfond, Yuanlin Zhang
    Pages 135-147

  16. Prolog and ASP Inference under One Roof

    • Marcello Balduccini, Yuliya Lierler, Peter Schüller
    Pages 148-160

  17. Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information

    • Chitta Baral, Nguyen H. Vo
    Pages 161-167

  18. Towards Query Answering in Relational Multi-Context Systems

    • Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina
    Pages 168-173

  19. Spectra in Abstract Argumentation: An Analysis of Minimal Change

    • Ringo Baumann, Gerhard Brewka
    Pages 174-186

  20. Normalizing Cardinality Rules Using Merging and Sorting Constructions

    • Jori Bomanson, Tomi Janhunen
    Pages 187-199
Back to top

Other volumes

  1. Logic Programming and Nonmonotonic Reasoning

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation