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

About this book

Introduction

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

Keywords

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 https://doi.org/10.1007/978-3-642-20832-4
  • 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
  • About this book