دانلود کتاب Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

فهرست مطالب :

Front Matter....Pages -
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
Challenges in Answer Set Solving....Pages 74-90
Exploring Relations between Answer Set Programs....Pages 91-110
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses....Pages 111-130
Effectively Reasoning about Infinite Sets in Answer Set Programming....Pages 131-147
Inspecting Side-Effects of Abduction in Logic Programs....Pages 148-163
Argumentation and Answer Set Programming....Pages 164-180
Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond....Pages 181-190
Recollections on Michael Gelfond’s 65th Birthday....Pages 191-192
Evolving Logic Programs with Temporal Operators....Pages 193-212
On Representing Actions in Multi-agent Domains....Pages 213-232
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources....Pages 233-258
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change....Pages 259-279
Refinement of History-Based Policies....Pages 280-299
Translating General Game Descriptions into an Action Language....Pages 300-314
Revisiting Epistemic Specifications....Pages 315-333
Answer Set; Programming?....Pages 334-343
Michael Gelfond: Essay in Honour of His 65th Birthday....Pages 344-346
PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information....Pages 347-376
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory....Pages 377-397
A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design....Pages 398-414
Applications of Answer Set Programming in Phylogenetic Systematics....Pages 415-431
ASP at Work: Spin-off and Applications of the DLV System....Pages 432-451
Combining Answer Set Programming and Prolog: The $\\mathbb{ASP{-}PROLOG}$ System....Pages 452-472
On the Practical Side of Answer Set Programming....Pages 473-489
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents....Pages 490-509
Tea Times with Gelfond....Pages 510-512
Back Matter....Pages -