Skip to main content
  • Conference proceedings
  • © 2011

Logic Programming and Nonmonotonic Reasoning

11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings

  • up-to-date results

  • fast track conference proceedings

  • state-of-the-art report

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

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

Table of contents (46 papers)

  1. Front Matter

  2. Technical Papers

    1. Long Technical Papers

      1. Modularity of P-Log Programs
        • Carlos Viegas Damásio, João Moura
        Pages 13-25
      2. Symmetry Breaking for Distributed Multi-Context Systems
        • Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
        Pages 26-39
      3. Splitting an Argumentation Framework
        • Ringo Baumann
        Pages 40-53
      4. Reactive Answer Set Programming
        • Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub
        Pages 54-66
      5. Communicating ASP and the Polynomial Hierarchy
        • Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock
        Pages 67-79
      6. Loop Formulas for Splitable Temporal Logic Programs
        • Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
        Pages 80-92
      7. Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
        • Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller
        Pages 93-106
      8. Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
        • Thomas Eiter, Michael Fink, Peter Schüller
        Pages 107-119
      9. Relational Information Exchange and Aggregation in Multi-Context Systems
        • Michael Fink, Lucantonio Ghionna, Antonius Weinzierl
        Pages 120-133
      10. Stepping through an Answer-Set Program
        • Johannes Oetsch, Jörg Pührer, Hans Tompits
        Pages 134-147
      11. Dynamic Magic Sets for Programs with Monotone Recursive Aggregates
        • Mario Alviano, Gianluigi Greco, Nicola Leone
        Pages 148-160
      12. Strong Equivalence of Logic Programs with Abstract Constraint Atoms
        • Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You
        Pages 161-173
      13. Back and Forth between Rules and SE-Models
        • Martin Slota, João Leite
        Pages 174-186
  3. Short Technical Papers

    1. What Are the Necessity Rules in Defeasible Reasoning?

      • Ho-Pun Lam, Guido Governatori
      Pages 187-192
    2. Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic

      • Antonis Bikakis, Grigoris Antoniou
      Pages 193-198
    3. On Influence and Contractions in Defeasible Logic Programming

      • Diego R. García, Sebastián Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa et al.
      Pages 199-204

Other Volumes

  1. Logic Programming and Nonmonotonic Reasoning

About this book

This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada. The 16 revised full papers (13 technical papers, 1 application description, and 2 system descriptions) and 26 short papers (16 technical papers, 3 application description, and 7 system descriptions) which were carefully reviewed and selected from numerous submissions, are presented together with 3 invited talks. 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.

Keywords

  • answer-set programming
  • debugging and testing
  • model-driven engineering
  • program analysis
  • statistical relational learning

Editors and Affiliations

  • School of Computing Science, Simon Fraser University, Burnaby, Canada

    James P. Delgrande

  • Department of Mathematics, University of Calabria, Rende (CS), Italy

    Wolfgang Faber

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions