Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Editors: Balduccini, Marcello, Son, Tran Cao (Eds.)
Free Preview- Commemorative publication
- Up to date results on logic programming, knowledge representation and nonmonotonic reasoning
- State-of-the-art research
Buy this book
- 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”.
- Table of contents (31 chapters)
-
-
Homage to Michael Gelfond on His 65 th Birthday
Pages 1-11
-
Answer Set Programming’s Contributions to Classical Logic
Pages 12-32
-
Closure and Consistency Rationalities in Logic-Based Argumentation
Pages 33-43
-
Manifold Answer-Set Programs and Their Applications
Pages 44-63
-
On the Minimality of Stable Models
Pages 64-73
-
Table of contents (31 chapters)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- 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 Artificial Intelligence
- Series Volume
- 6565
- Copyright
- 2011
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer Berlin Heidelberg
- eBook ISBN
- 978-3-642-20832-4
- DOI
- 10.1007/978-3-642-20832-4
- Softcover ISBN
- 978-3-642-20831-7
- Edition Number
- 1
- Number of Pages
- XIII, 513
- Topics
