Advertisement

Logic Programming and Nonmonotonic Reasoning

10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

  • Esra Erdem
  • Fangzhen Lin
  • Torsten Schaub
Conference proceedings LPNMR 2009

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5753)

Table of contents

  1. Front Matter
  2. Session 1. Invited Talks

  3. Session 2. Technical Papers

    1. Marcello Balduccini
      Pages 17-29
    2. Antonis Bikakis, Grigoris Antoniou
      Pages 30-43
    3. Pedro Cabalar, David Pearce, Agustín Valverde
      Pages 58-70
    4. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
      Pages 71-86
    5. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
      Pages 87-100
    6. Wolfgang Faber, Stefan Woltran
      Pages 115-128
    7. Ping Hou, Marc Denecker
      Pages 129-141
    8. Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev
      Pages 142-154
    9. Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä
      Pages 155-168
    10. Tim Kimber, Krysia Broda, Alessandra Russo
      Pages 169-181
    11. Joohyung Lee, Yunsong Meng
      Pages 182-195
    12. Claire Lefèvre, Pascal Nicolas
      Pages 196-208
    13. Loizos Michael, Antonis Kakas
      Pages 209-222
    14. Gayathri Namasivayam, Mirosław Truszczyński
      Pages 223-235
    15. Emilia Oikarinen, Matti Järvisalo
      Pages 236-249
    16. Reinhard Pichler, Stefan Rümmele, Stefan Woltran
      Pages 250-263
    17. Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
      Pages 329-341
  4. Session 3. Original Application Papers

    1. Ozan Caldiran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem, Volkan Patoglu
      Pages 342-354
    2. James P. Delgrande, Torsten Grote, Aaron Hunter
      Pages 355-367
    3. Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca
      Pages 368-381
    4. Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
      Pages 382-395
  5. Session 4. Short Papers

    1. Vernon Asuncion, Yan Zhang
      Pages 396-401
    2. Duygu Çakmak, Esra Erdem, Halit Erdoğan
      Pages 416-422
    3. Agostino Dovier, Andrea Formisano, Enrico Pontelli
      Pages 423-429
    4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
      Pages 430-436
    5. Luke Hopton, Owen Cliffe, Marina De Vos, Julian Padget
      Pages 437-443
    6. Luís Moniz Pereira, Alexandre Miguel Pinto
      Pages 450-456
    7. Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano
      Pages 457-463
    8. Mauricio Osorio Galindo, Simone Pascucci
      Pages 464-469
    9. Chiaki Sakama
      Pages 470-476
  6. Session 5. System Descriptions

    1. Annamaria Bria, Wolfgang Faber, Nicola Leone
      Pages 477-482
    2. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
      Pages 483-489
    3. Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske et al.
      Pages 490-495
    4. Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner
      Pages 496-501
    5. Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele
      Pages 502-508

About these proceedings

Introduction

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNMR 2009 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming (ASP) in particular. LPNMR 2009 aims at providing a comprehensive surrvey of the state ofo the art of ASP/LPNMR Applications. LPNMR 2009 received 75 submissions, of which 55 were technical ones, 8 original applications, 9 system description ones and 3 short papers. Out of these 25 technical, 4 original applications, 10 system description, and 13 short papers were accepted.

Keywords

AI logics Prolog SAT ambient intelligence artificial intelligence complexity constraint satisfaction disjunctive logic knowledge representation logic logic programming logic-based modeling magic sets nonmonotonic reasoning programming

Editors and affiliations

  • Esra Erdem
    • 1
  • Fangzhen Lin
    • 2
  • Torsten Schaub
    • 3
  1. 1.Faculty of Engineering and Natural SciencesSabanci University, Orhanli, TuzlaIstanbulTurkey
  2. 2.Department of Computer ScienceHong Kong University of Science and Technology, Clear Water Bay,Hong Kong
  3. 3.Institut für InformatikUniversität PotsdamPotsdamGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-04238-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04237-9
  • Online ISBN 978-3-642-04238-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site