Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change

Copyright in each article is held by the authors. Please contact the authors directly for permission to reprint or use this material in any form for any purpose.The biennial workshop on Nonmonotonic Reasoning, Action and Change (NRAC) has an active and loyal community. Since its inception in 1995, the workshop has been held seven times in conjunction with IJCAI, and has experienced growing success. We hope to build on this success again this eighth year with an interesting and fruitful day of discussion. The areas of reasoning about action, non-monotonic reasoning and belief revision are among the most active research areas in Knowledge Representation, with rich inter-connections and practical applications including robotics, agentsystems, commonsense reasoning and the semantic web. This workshop provides a unique opportunity for researchers from all three fields to be brought together at a single forum with the prime objectives of communicating important recent advances in each field and the exchange of ideas. As these fundamental areas mature it is vital that researchers maintain a dialog through which they can cooperatively explore common links. The goal of this workshop is to work against the natural tendency of such rapidly advancing fields to drift apart into isolated islands of specialization. This year, we have accepted ten papers authored by a diverse international community. Each paper has been subject to careful peer review on the basis of innovation, significance and relevance to NRAC. The high quality selection of work could not have been achieved without the invaluable help of the international Program Committee. A highlight of the workshop will be our invited speaker Professor Hector Geffner from ICREA and UPF in Barcelona, Spain, discussing representation and inference in modern planning. Hector Geffner is a world leader in planning, reasoning, and knowledge representation; in addition to his many important publications, he is a Fellow of the AAAI, an associate editor of the Journal of Artificial Intelligence Research and won an ACM Distinguished Dissertation Award in 1990

Set- and Graph-theoretic Investigations in Abstract Argumentation

Abstract argumentation roots to similar parts in philosophy, linguistics and artificial intelligence. The core (syntactic) notions of argument and attack are commonly visualized via digraphs, as nodes and directed edges, respectively. Semantic evaluation functions then provide a meaning of acceptance (i.e. acceptable sets of arguments also called extensions) for any such abstract argumentation structure. In this thesis, for the very first time, we tackle the questions of acceptance and conflict from a graph- and set-theoretic point of view. We elaborate on the interspace between syntactic conflict/independence (defined by attack structure) and their semantic counterparts (defined by joint acceptance of arguments). Graph theory regards the filters and techniques we use to, respectively, categorize and describe abstract argumentation structures. Set theory regards the issues we have to deal with particularly for non-finite argument sets. For argumentation in the arbitrarily infinite case this thesis can and should be seen as reference work. For the matter of conflicts in abstract argumentation we further provide a solid base and formal framework for future research. All in all, this is a mathematicians view on abstract argumentation, deepening the field of conception and widening the angle of applicability

Kant in English: An Index

Kant in English: An Index / By Daniel Fidel Ferrer. ©Daniel Fidel Ferrer, 2017. Pages 1 to 2675. Includes bibliographical references. Index. 1. Ontology. 2. Metaphysics. 3. Philosophy, German. 4. Thought and thinking. 5. Kant, Immanuel, 1724-1804. 6. Practice (Philosophy). 7. Philosophy and civilization. 8). Kant, Immanuel, 1724-1804 -- Wörterbuch. 9. Kant, Immanuel, 1724-1804 -- Concordances. 10. Kant, Immanuel, 1724-1804 -- 1889-1976 – Indexes. I. Ferrer, Daniel Fidel, 1952-. MOTTO As a famous motto calls us back to Kant, Otto Liebmann’s writes (Kant and His Epigones of 1865): “Also muss auf Kant zurückgegangen werden.” “Therefore, must return to Kant.” Table of Contents 1). Preface and Introduction. 2. Background on Kant’s Philosophy (hermeneutical historical situation). 3). Main Index (pages, 25 to 2676). Preface and Introduction Total words indexed: 58,928; for the 12 volumes that are in the MAIN INDEX are indexed: pages 1 to 7321. This monograph by Daniel Fidel Ferrer is 2676 pages in total. The following is a machine index of 12 volumes written by Immanuel Kant and translated from German into English. Everything is indexed including the text, title pages, preface, notes, editorials, glossary, indexes, biographical notes, and even some typos. No stop words or words removed from this index. There are some German words in the text, bibliographies, and in the glossaries (also included in Main Index). Titles in English of Kant’s writings for this index (pages 1 to 7321). Anthropology, History, and Education [Starts on page 1 Correspondence [Starts on page 313 Critique of Pure Reason [Starts page 971 Critique of the Power of Judgment [Starts on page 1771 Lectures on Logic [Starts on page 2247 Lectures on Metaphysics [Starts on page 2991 Notes and Fragments [Starts on page 3670 Opus Postumum [Starts on page 4374 Practical Philosophy [Starts on page 4741 Religion and Rational Theology [Starts on page 5446 Theoretical Philosophy after 1781 [Starts on page 5990 Theoretical Philosophy, 1755-1770 [Starts on page 6541 Universal Natural History and Theory of the Heavens or An Essay on the Constitution and the Mechanical Origin of the Entire Structure of the Universe Based on Newtonian Principles [Starts on page 7162 The whole single file which includes all of these books ends on page 7321. 12 volumes are pages 1 to 7321. These actual texts of these books by Kant are not include here because of copyright. This is only an index of these 7321 pages by Immanuel Kant. There are some German words in the text and in the glossaries, etc. Searching this Main Index. Please note the German words that start with umlauts are at the end of the index because of machine sorting of the words. Starting with the German word “ße” on page 2674 page of this book (see in Main Index). Use the FIND FUNCTION for all examples of the words or names you are searching. Examples from the Main Index mendacium, 5171, 5329, 5389 mendation, 220 mendax, 2702, 2800 mended, 360 Mendel, 416, 925, 965 Mendelian, 2212 Mendels, 345, 363, 417, 458, 560, 572, 588, 926, 928, 929 MENDELSSOHN, 925 Mendelssohn, 8, 9, 19, 98, 99, 100, 101

Kant in English: An Index

Kant in English: An Index / By Daniel Fidel Ferrer. ©Daniel Fidel Ferrer, 2017. Pages 1 to 2675. Includes bibliographical references. Index. 1. Ontology. 2. Metaphysics. 3. Philosophy, German. 4. Thought and thinking. 5. Kant, Immanuel, 1724-1804. 6. Practice (Philosophy). 7. Philosophy and civilization. 8). Kant, Immanuel, 1724-1804 -- Wörterbuch. 9. Kant, Immanuel, 1724-1804 -- Concordances. 10. Kant, Immanuel, 1724-1804 -- 1889-1976 – Indexes. I. Ferrer, Daniel Fidel, 1952-. MOTTO As a famous motto calls us back to Kant, Otto Liebmann’s writes (Kant and His Epigones of 1865): “Also muss auf Kant zurückgegangen werden.” “Therefore, must return to Kant.” Table of Contents 1). Preface and Introduction. 2. Background on Kant’s Philosophy (hermeneutical historical situation). 3). Main Index (pages, 25 to 2676). Preface and Introduction Total words indexed: 58,928; for the 12 volumes that are in the MAIN INDEX are indexed: pages 1 to 7321. This monograph by Daniel Fidel Ferrer is 2676 pages in total. The following is a machine index of 12 volumes written by Immanuel Kant and translated from German into English. Everything is indexed including the text, title pages, preface, notes, editorials, glossary, indexes, biographical notes, and even some typos. No stop words or words removed from this index. There are some German words in the text, bibliographies, and in the glossaries (also included in Main Index). Titles in English of Kant’s writings for this index (pages 1 to 7321). Anthropology, History, and Education [Starts on page 1 Correspondence [Starts on page 313 Critique of Pure Reason [Starts page 971 Critique of the Power of Judgment [Starts on page 1771 Lectures on Logic [Starts on page 2247 Lectures on Metaphysics [Starts on page 2991 Notes and Fragments [Starts on page 3670 Opus Postumum [Starts on page 4374 Practical Philosophy [Starts on page 4741 Religion and Rational Theology [Starts on page 5446 Theoretical Philosophy after 1781 [Starts on page 5990 Theoretical Philosophy, 1755-1770 [Starts on page 6541 Universal Natural History and Theory of the Heavens or An Essay on the Constitution and the Mechanical Origin of the Entire Structure of the Universe Based on Newtonian Principles [Starts on page 7162 The whole single file which includes all of these books ends on page 7321. 12 volumes are pages 1 to 7321. These actual texts of these books by Kant are not include here because of copyright. This is only an index of these 7321 pages by Immanuel Kant. There are some German words in the text and in the glossaries, etc. Searching this Main Index. Please note the German words that start with umlauts are at the end of the index because of machine sorting of the words. Starting with the German word “ße” on page 2674 page of this book (see in Main Index). Use the FIND FUNCTION for all examples of the words or names you are searching. Examples from the Main Index mendacium, 5171, 5329, 5389 mendation, 220 mendax, 2702, 2800 mended, 360 Mendel, 416, 925, 965 Mendelian, 2212 Mendels, 345, 363, 417, 458, 560, 572, 588, 926, 928, 929 MENDELSSOHN, 925 Mendelssohn, 8, 9, 19, 98, 99, 100, 101