Advertisement

Table of contents

  1. Front Matter
  2. Gerd Brewka, Jürgen Dix, Kurt Konolige
    Pages 1-88
  3. Setsuo Arikawa, Satoru Miyano, Takeshi Shinohara, Ayumi Shinohara
    Pages 107-117
  4. Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki
    Pages 118-131
  5. Jänis Bärzdiņš, Guntis Bärzdiņš
    Pages 132-140
  6. Ph. Besnard, E. Grégoire
    Pages 141-152
  7. Stefan Brass
    Pages 153-174
  8. Rüsiņš Freivalds, Efim B. Kinber, Rolf Wiehagen
    Pages 209-240
  9. Gerhard Lakemeyer
    Pages 241-253
  10. Steffen Lange, Thomas Zeugmann
    Pages 254-269
  11. V. Wiktor Marek, Mirosław Truszczyński
    Pages 270-283
  12. Juris Viksna
    Pages 323-332
  13. Back Matter

About these proceedings

Introduction

This proceedings volume contains a selection of revised and extended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. The volume opens with an extended version of a tutorial on nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige. Fifteen selected papers follow, on a variety of topics. The majority of papers belong either to the area of nonmonotonic reasoning or to the field of inductive inference, but some papers integrate research from both areas. The first workshop in this series was held at the University of Karlsruhe in December 1990 and its proceedings were published as Lecture Notes in Artificial Intelligence Volume 543. The series of workshops was made possible by financial support from Volkswagen Stiftung, Hannover. This workshop was also supported by IBM Deutschland GmbH and Siemens AG.

Keywords

Default-Logic Induktive Logik artificial intelligence case-based reasoning complexity concept learning default logic formal specification inductive inference inductive logic induktive Inferenz konzeptionelles Lernen nicht-monotones Schließen nonmonotonic reasoning selection

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0030385
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56433-1
  • Online ISBN 978-3-540-47557-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site