Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

  • Marcello Balduccini
  • Tran Cao Son

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

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

Table of contents

  1. Front Matter
  2. Homage to Michael Gelfond on His 65 th Birthday

  3. Foundations: ASP and Theories of LP, KR, and NMR

    1. Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
      Pages 12-32
    2. Phan Minh Dung, Phan Minh Thang
      Pages 33-43
    3. Wolfgang Faber, Stefan Woltran
      Pages 44-63
    4. Paolo Ferraris, Vladimir Lifschitz
      Pages 64-73
    5. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
      Pages 74-90
    6. Katsumi Inoue, Chiaki Sakama
      Pages 91-110
    7. Victor Marek, Jeffrey B. Remmel
      Pages 131-147
    8. Luís Moniz Pereira, Alexandre Miguel Pinto
      Pages 148-163
    9. Francesca Toni, Marek Sergot
      Pages 164-180
    10. Alessandro Provetti
      Pages 191-192
  4. ASP and Dynamic Domains

    1. José Júlio Alferes, Alfredo Gabaldon, João Leite
      Pages 193-212
    2. Chitta Baral, Gregory Gelfond
      Pages 213-232
    3. Agostino Dovier, Andrea Formisano, Enrico Pontelli
      Pages 259-279
    4. Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin Calo, Morris Sloman
      Pages 280-299
    5. Mirosław Truszczyński
      Pages 315-333
    6. Pedro Cabalar
      Pages 334-343
    7. Stefania Costantini
      Pages 344-346
  5. ASP – Applications and Tools

    1. Massimiliano Albanese, Matthias Broecheler, John Grant, Maria Vanina Martinez, V. S. Subrahmanian
      Pages 347-376
    2. Marcello Balduccini, Sara Girotto
      Pages 377-397
    3. Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson, Yuanlin Zhang
      Pages 398-414
    4. Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca
      Pages 432-451
    5. Enrico Pontelli, Tran Cao Son, Ngoc-Hieu Nguyen
      Pages 452-472
    6. Tommi Syrjänen
      Pages 473-489
    7. Richard Watson, Marina De Vos
      Pages 490-509
    8. Veena S. Mellarkod
      Pages 510-512
  6. Back Matter

About this book


This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010.

The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”.


AI logics answer set programming constraint programming knowledge management temporal reasoning

Editors and affiliations

  • Marcello Balduccini
    • 1
  • Tran Cao Son
    • 2
  1. 1.Eastman Kodak CompanyRochesterUSA
  2. 2.Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20831-7
  • Online ISBN 978-3-642-20832-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences