Editors:
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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (31 chapters)
-
Front Matter
-
Homage to Michael Gelfond on His 65 th Birthday
-
Foundations: ASP and Theories of LP, KR, and NMR
-
ASP and Dynamic Domains
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