Skip to main content
SpringerLink
Log in

Logic Programming and Nonmonotonic Reasoning

13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Francesco Calimeri

    1. University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Giovambattista Ianni

    1. University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Miroslaw Truszczynski

    1. University of Kentucky Dept. Computer Science, Lexington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: LPNMR 2015.

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 EPUB and 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 (48 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Stable Models for Temporal Theories

    • Pedro Cabalar
    Pages 1-13

  3. Algorithmic Decision Theory Meets Logic

    • Jérôme Lang
    Pages 14-19

  4. Relational and Semantic Data Mining

    • Nada Lavrač, Anže Vavpetič
    Pages 20-31

  5. Shift Design with Answer Set Programming

    • Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
    Pages 32-39

  6. Advances in WASP

    • Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca
    Pages 40-54

  7. Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics

    • Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub
    Pages 55-68

  8. Integrating ASP into ROS for Reasoning in Robots

    • Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub
    Pages 69-82

  9. Automated Inference of Rules with Exception from Past Legal Cases Using ASP

    • Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo
    Pages 83-96

  10. Online Action Language \(o\mathcal {BC}\)+

    • Joseph Babb, Joohyung Lee
    Pages 97-111

  11. aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

    • Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub et al.
    Pages 112-126

  12. “Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis

    • Chitta Baral, Tran Cao Son
    Pages 127-133

  13. A Theory of Intentions for Intelligent Agents

    • Justin Blount, Michael Gelfond, Marcello Balduccini
    Pages 134-142

  14. Answer Set Programming Modulo Acyclicity

    • Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
    Pages 143-150

  15. A Framework for Goal-Directed Query Evaluation with Negation

    • Stefan Brass
    Pages 151-157

  16. Implementing Preferences with asprin

    • Gerhard Brewka, James Delgrande, Javier Romero, Torsten Schaub
    Pages 158-172

  17. Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP

    • Alex Brik, Jeffrey Remmel
    Pages 173-185

  18. Performance Tuning in Answer Set Programming

    • Matthew Buddenhagen, Yuliya Lierler
    Pages 186-198

  19. Enablers and Inhibitors in Causal Justifications of Logic Programs

    • Pedro Cabalar, Jorge Fandinno
    Pages 199-212

  20. Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams

    • Günther Charwat, Stefan Woltran
    Pages 213-227
Back to top

Other volumes

  1. Logic Programming and Nonmonotonic Reasoning

Keywords

About this book

This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.

Editors and Affiliations

  • University of Calabria, Rende, Italy

    Francesco Calimeri, Giovambattista Ianni

  • University of Kentucky Dept. Computer Science, Lexington, USA

    Miroslaw Truszczynski

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation