Marcello Balduccini, Tran Cao Son (Eds.):
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday.
Lecture Notes in Computer Science 6565 Springer 2011, ISBN 978-3-642-20831-7 
- Jack Minker:
Opening: Homage to Michael Gelfond on His 65th Birthday.
1-11
Foundations:
ASP and Theories of LP,
KR,
and NMR
- Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe:
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.
12-32
- Phan Minh Dung, Phan Minh Thang:
Closure and Consistency Rationalities in Logic-Based Argumentation.
33-43
- Wolfgang Faber, Stefan Woltran:
Manifold Answer-Set Programs and Their Applications.
44-63
- Paolo Ferraris, Vladimir Lifschitz:
On the Minimality of Stable Models.
64-73
- Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Challenges in Answer Set Solving.
74-90
- Katsumi Inoue, Chiaki Sakama:
Exploring Relations between Answer Set Programs.
91-110
- Tomi Janhunen, Ilkka Niemelä:
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.
111-130
- Victor W. Marek, Jeffrey B. Remmel:
Effectively Reasoning about Infinite Sets in Answer Set Programming.
131-147
- Vladik Kreinovich:
Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond.
181-190
- Alessandro Provetti:
Recollections on Michael Gelfond's 65th Birthday.
191-192
ASP and Dynamic Domains
- José Júlio Alferes, Alfredo Gabaldon, João Leite:
Evolving Logic Programs with Temporal Operators.
193-212
- Chitta Baral, Gregory Gelfond:
On Representing Actions in Multi-agent Domains.
213-232
- Gerhard Brewka, Thomas Eiter, Michael Fink:
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.
233-258
- Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.
259-279
- Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman:
Refinement of History-Based Policies.
280-299
- Michael Thielscher:
Translating General Game Descriptions into an Action Language.
300-314
- Miroslaw Truszczynski:
Revisiting Epistemic Specifications.
315-333
- Pedro Cabalar:
Answer Set; Programming?
334-343
- Stefania Costantini:
Michael Gelfond: Essay in Honour of His 65th Birthday.
344-346
ASP - Applications and Tools
- Massimiliano Albanese, Matthias Broecheler, John Grant, Maria Vanina Martinez, V. S. Subrahmanian:
PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information.
347-376
- Marcello Balduccini, Sara Girotto:
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory.
377-397
- Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson, Yuanlin Zhang:
A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design.
398-414
- Esra Erdem:
Applications of Answer Set Programming in Phylogenetic Systematics.
415-431
- Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca:
ASP at Work: Spin-off and Applications of the DLV System.
432-451
- Tommi Syrjänen:
On the Practical Side of Answer Set Programming.
473-489
- Richard Watson, Marina De Vos:
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents.
490-509
- Veena S. Mellarkod:
Tea Times with Gelfond.
510-512
Last update Tue May 22 23:23:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
