Skip to main content
SpringerLink
Log in

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

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

  • Book
  • © 2011

Overview

Editors:
  1. Marcello Balduccini

    1. Eastman Kodak Company, Rochester, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tran Cao Son

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 chapters)

  1. Front Matter

    Download chapter PDF

  2. Homage to Michael Gelfond on His 65 th Birthday

    1. Homage to Michael Gelfond on His 65th Birthday

      • Jack Minker
      Pages 1-11

  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. Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses

      • Tomi Janhunen, Ilkka Niemelä
      Pages 111-130

    8. Effectively Reasoning about Infinite Sets in Answer Set Programming

      • Victor Marek, Jeffrey B. Remmel
      Pages 131-147

    9. Inspecting Side-Effects of Abduction in Logic Programs

      • Luís Moniz Pereira, Alexandre Miguel Pinto
      Pages 148-163

    10. Argumentation and Answer Set Programming

      • Francesca Toni, Marek Sergot
      Pages 164-180

    11. Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond

      • Vladik Kreinovich
      Pages 181-190

    12. 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. Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

      • Gerhard Brewka, Thomas Eiter, Michael Fink
      Pages 233-258

    4. Perspectives on Logic-Based Approaches for Reasoning about Actions and Change

      • Agostino Dovier, Andrea Formisano, Enrico Pontelli
      Pages 259-279

    5. Refinement of History-Based Policies

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

    6. Translating General Game Descriptions into an Action Language

      • Michael Thielscher
      Pages 300-314
Back to top

Keywords

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

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

Publish with us

Policies and ethics

Back to top

Search

Navigation