Nonmonotonic and Inductive Logic: Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

این مجلد شامل مجموعه‌ای از مقالات اصلاح‌شده و توسعه‌یافته است که در دومین کارگاه بین‌المللی در مورد منطق غیریکنواخت و القایی، NIL '91، که در قلعه راینهاردزبرون، 2 تا 6 دسامبر 1991 برگزار شد، ارائه شد. یک آموزش در مورد منطق غیر یکنواخت توسط G. Brewka، J. Dix، و K. Konolige. پانزده مقاله منتخب با موضوعات مختلف دنبال می‌شوند. اکثر مقالات یا به حوزه استدلال غیر یکنواخت یا به حوزه استنتاج استقرایی تعلق دارند، اما برخی از مقالات تحقیقات هر دو حوزه را ادغام می کنند. اولین کارگاه از این مجموعه در دسامبر 1990 در دانشگاه کارلسروهه برگزار شد و مجموعه مقالات آن به عنوان یادداشت های سخنرانی در جلد 543 هوش مصنوعی منتشر شد. مجموعه کارگاه ها با حمایت مالی فولکس واگن استیفتانگ، هانوفر امکان پذیر شد. این کارگاه همچنین توسط IBM Deutschland GmbH و Siemens AG پشتیبانی شد.

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.