Skip to main content
  • Book
  • © 2011

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

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

  • Commemorative publication

  • Up to date results on logic programming, knowledge representation and nonmonotonic reasoning

  • State-of-the-art research

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

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

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 (31 chapters)

  1. Front Matter

  2. Homage to Michael Gelfond on His 65 th Birthday

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

    1. Answer Set Programming’s Contributions to Classical Logic

      • Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
      Pages 12-32
    2. Closure and Consistency Rationalities in Logic-Based Argumentation

      • Phan Minh Dung, Phan Minh Thang
      Pages 33-43
    3. Manifold Answer-Set Programs and Their Applications

      • Wolfgang Faber, Stefan Woltran
      Pages 44-63
    4. On the Minimality of Stable Models

      • Paolo Ferraris, Vladimir Lifschitz
      Pages 64-73
    5. Challenges in Answer Set Solving

      • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
      Pages 74-90
    6. Exploring Relations between Answer Set Programs

      • Katsumi Inoue, Chiaki Sakama
      Pages 91-110
    7. Effectively Reasoning about Infinite Sets in Answer Set Programming

      • Victor Marek, Jeffrey B. Remmel
      Pages 131-147
    8. Inspecting Side-Effects of Abduction in Logic Programs

      • Luís Moniz Pereira, Alexandre Miguel Pinto
      Pages 148-163
    9. Argumentation and Answer Set Programming

      • Francesca Toni, Marek Sergot
      Pages 164-180
    10. Recollections on Michael Gelfond’s 65th Birthday

      • Alessandro Provetti
      Pages 191-192
  4. ASP and Dynamic Domains

    1. Evolving Logic Programs with Temporal Operators

      • José Júlio Alferes, Alfredo Gabaldon, João Leite
      Pages 193-212
    2. On Representing Actions in Multi-agent Domains

      • Chitta Baral, Gregory Gelfond
      Pages 213-232
    3. Perspectives on Logic-Based Approaches for Reasoning about Actions and Change

      • Agostino Dovier, Andrea Formisano, Enrico Pontelli
      Pages 259-279
    4. Refinement of History-Based Policies

      • Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin Calo, Morris Sloman
      Pages 280-299

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

Keywords

  • AI logics
  • answer set programming
  • constraint programming
  • knowledge management
  • temporal reasoning

Editors and Affiliations

  • Eastman Kodak Company, Rochester, USA

    Marcello Balduccini

  • Department of Computer Science, New Mexico State University, Las Cruces, USA

    Tran Cao Son

Bibliographic Information

  • Book Title: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

  • Book Subtitle: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

  • Editors: Marcello Balduccini, Tran Cao Son

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-20832-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Berlin Heidelberg 2011

  • Softcover ISBN: 978-3-642-20831-7Published: 13 May 2011

  • eBook ISBN: 978-3-642-20832-4Published: 28 April 2011

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 513

  • Topics: Artificial Intelligence, Formal Languages and Automata Theory, Programming Techniques

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