Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany December 2 6, 1991 : proceedings
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 nonmo...
Kaydedildi:
| Yazar: | |
|---|---|
| Müşterek Yazar: | |
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science. Lecture notes in artificial intelligence
659 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Nonmonotonic and inductive logic, second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, proceedings, G. Brewka, K.P. Jantke, P.H. Schmitt (eds.), Berlin, Springer-Verlag, 1993, 1 vol. (VIII-332 p.), Lecture notes in computer science, 3-540-56433-0 • Nonmonotonic and Inductive Logic, Texte imprimé, 9783662203354 |
| LEADER | 04632nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 971806 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155213253 | ||
| 020 | |a 9783540475576 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 006.3 | ||
| 100 | 1 | |a Brewka, Gerhard, |d 1955- | |
| 245 | 1 | 0 | |a Nonmonotonic and inductive logic : |b second international workshop, Reinhardsbrunn Castle, Germany December 2 6, 1991 : proceedings |c [edited by] G. Brewka, K. P. Jantke, P. H. Schmitt. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 659 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A tutorial on Nonmonotonic Reasoning -- On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms -- More about learning elementary formal systems -- A polynomial time algorithm for finding finite unions of tree pattern languages -- Towards efficient inductive synthesis: Rapid construction of local regularities -- Deductive generalization in a default logic setting -- Deduction with supernormal defaults -- Multi-agent learning: Theoretical and empirical studies -- Predicate synthesis from formal specifications: Using mathematical induction for finding the preconditions of theorems -- Dual types of hypotheses in inductive inference -- All I know about Tweety -- Monotonic versus non-monotonic language learning -- Normal form results for default logic -- Retrieval in case-based reasoning using preferred subtheories -- Interactive synthesis of process flowcharts -- Probabilistic inference of approximations. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Inférence | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Raisonnement non monotone | ||
| 650 | |a Induction (logique) | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Jantke, Klaus Peter, |d 1951- |4 pbd | |
| 700 | 1 | |a Schmitt, Peter H., |d 1948- |4 pbd | |
| 711 | 2 | |a International Workshop on Nonmonotonic and Inductive Logic |n (2 |d :1991 |c :Reinhardsbrunn Castle, Allemagne). |4 aut | |
| 776 | 0 | |0 01608859X |t Nonmonotonic and inductive logic |o second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 |o proceedings |f G. Brewka, K.P. Jantke, P.H. Schmitt (eds.) |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (VIII-332 p.) |s Lecture notes in computer science |z 3-540-56433-0 | |
| 776 | 0 | |t Nonmonotonic and Inductive Logic |b Texte imprimé |z 9783662203354 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0030385 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-7SN49TWL-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:75064852X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0030385 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753999188 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0030385 |z Accès INSA CVL | |
| 997 | |0 971806 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||