Book Volume 9060 2015

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

ISBN: 978-3-319-14725-3 (Print) 978-3-319-14726-0 (Online)

Table of contents (24 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Prologue

    1. No Access

      Chapter

      Pages 1-16

      A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence

  3. Actions and Agents

    1. No Access

      Chapter

      Pages 17-32

      Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving

    2. No Access

      Chapter

      Pages 33-46

      Simulation of Action Theories and an Application to General Game-Playing Robots

    3. No Access

      Chapter

      Pages 47-62

      From Testing Agent Systems to a Scalable Simulation Platform

  4. Nonmonotonic and Human Reasoning

    1. No Access

      Chapter

      Pages 63-80

      Deontic Logic for Human Reasoning

    2. No Access

      Chapter

      Pages 81-95

      A System Z-like Approach for First-Order Default Reasoning

    3. No Access

      Chapter

      Pages 96-111

      Cumulativity Tailored for Nonmonotonic Reasoning

    4. No Access

      Chapter

      Pages 112-124

      Decidability of Circumscribed Description Logics Revisited

    5. No Access

      Chapter

      Pages 125-140

      Stability, Supportedness, Minimality and Kleene Answer Set Programs

    6. No Access

      Chapter

      Pages 141-156

      Asynchronous Multi-Context Systems

  5. Preferences

    1. No Access

      Chapter

      Pages 157-172

      Twenty-Five Years of Preferred Subtheories

    2. No Access

      Chapter

      Pages 173-185

      A Fuzzy Set Approach to Expressing Preferences in Spatial Reasoning

    3. No Access

      Chapter

      Pages 186-201

      Upside-Down Preference Reversal: How to Override Ceteris-Paribus Preferences?

    4. No Access

      Chapter

      Pages 202-217

      A Non-monotonic Goal Specification Language for Planning with Preferences

    5. No Access

      Chapter

      Pages 218-232

      Explaining Preferences and Preferring Explanations

    6. No Access

      Chapter

      Pages 233-248

      Preference-Based Diagnosis Selection in Multi-Context Systems

  6. Abstract Argumentation

    1. No Access

      Chapter

      Pages 249-264

      Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks

    2. No Access

      Chapter

      Pages 265-280

      I don’t care, I don’t know … I know too much! On Incompleteness and Undecidedness in Abstract Argumentation

    3. No Access

      Chapter

      Pages 281-295

      Infinite Argumentation Frameworks

    4. No Access

      Chapter

      Pages 296-308

      Judgment Aggregation in Abstract Dialectical Frameworks

previous Page of 2