Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Nonmonotonic and Inductive Logic

Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Gerhard Brewka
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus P. Jantke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter H. Schmitt
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 659)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. A tutorial on Nonmonotonic Reasoning

    • Gerd Brewka, Jürgen Dix, Kurt Konolige
    Pages 1-88

  3. On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms

    • Naoki Abe
    Pages 89-106

  4. More about learning elementary formal systems

    • Setsuo Arikawa, Satoru Miyano, Takeshi Shinohara, Ayumi Shinohara
    Pages 107-117

  5. A polynomial time algorithm for finding finite unions of tree pattern languages

    • Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki
    Pages 118-131

  6. Towards efficient inductive synthesis: Rapid construction of local regularities

    • Jänis Bärzdiņš, Guntis Bärzdiņš
    Pages 132-140

  7. Deductive generalization in a default logic setting

    • Ph. Besnard, E. Grégoire
    Pages 141-152

  8. Deduction with supernormal defaults

    • Stefan Brass
    Pages 153-174

  9. Multi-agent learning: Theoretical and empirical studies

    • Robert Daley
    Pages 175-183

  10. Predicate synthesis from formal specifications: Using mathematical induction for finding the preconditions of theorems

    • Marta Fraňová, Yves Kodratoff
    Pages 184-208

  11. Dual types of hypotheses in inductive inference

    • Rüsiņš Freivalds, Efim B. Kinber, Rolf Wiehagen
    Pages 209-240

  12. All I know about Tweety

    • Gerhard Lakemeyer
    Pages 241-253

  13. Monotonic versus non-monotonic language learning

    • Steffen Lange, Thomas Zeugmann
    Pages 254-269

  14. Normal form results for default logic

    • V. Wiktor Marek, Mirosław Truszczyński
    Pages 270-283

  15. Retrieval in case-based reasoning using preferred subtheories

    • Michael Mehl
    Pages 284-297

  16. Interactive synthesis of process flowcharts

    • Yuji Takada
    Pages 298-322

  17. Probabilistic inference of approximations

    • Juris Viksna
    Pages 323-332

  18. Back Matter

    Download chapter PDF
Back to top

Bibliographic Information

  • Book Title: Nonmonotonic and Inductive Logic

  • Book Subtitle: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

  • Editors: Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0030385

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1993

  • Softcover ISBN: 978-3-540-56433-1Published: 26 February 1993

  • eBook ISBN: 978-3-540-47557-6Published: 10 April 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 338

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation