Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings
This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from t...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awdur Corfforaethol: | |
| Awduron Eraill: | , |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in computer science. Lecture notes in artificial intelligence
543 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
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, 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings, J. Dix, K. P. Jantke, P. H. Schmitt (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (x, 243 p.), Lecture notes in computer science, 3-540-54564-6 • Nonmonotonic and Inductive Logic, Texte imprimé, 9783662196960 |
| LEADER | 04256nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 970929 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155198785 | ||
| 020 | |a 9783540384694 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 006.3 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Dix, Jürgen, |d 1961- | |
| 245 | 1 | 0 | |a Nonmonotonic and inductive logic : |b 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings |c [edited by] J. Dix, 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 543 |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 Cumulative inference relations for JTMS and logic programming -- Cumulativity and rationality in semantics of normal logic programs -- Nonmonotonic reasoning and logic programs -- Supracompact inference operations -- Notions of nonmonotonic derivability -- Ranges of strong modal nonmonotonic logics -- On generation of cumulative inference operators by default deduction rules -- Qualitative magnitude reasoning -- Monotonic and non-monotonic inductive inference of functions and patterns -- A note on polynomial-time inference of k-variable pattern languages -- A thesis in inductive inference -- Inductive inference of optimal programs a survey and open problems -- Autoepistemic expansions with incomplete belief introspection -- Is it impossible to keep up to date?. | |
| 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 revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from the two fields to communicate and find areas of cooperation. The papersare organized into sections on: - Nonmonotonicity in logic programs - Axiomatic approach to nonmonotonic reasoning - Inductive inference - Autoepistemic logic - Belief updates The bulk of the papers are devoted to nonmonotonic logic and provide an up-to-date view of the current state of research presented by leading experts in the field. A novelty in the contributions from the area of inductive logic is the analysis of nonmonotonicity in the theory of inductive learning. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Modalité (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 Inference |n (1st |d :1990 |c :University of Karlsruhe). |4 aut | |
| 776 | 0 | |0 022213562 |t Nonmonotonic and inductive logic |o 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings |f J. Dix, K. P. Jantke, P. H. Schmitt (eds.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (x, 243 p.) |s Lecture notes in computer science |z 3-540-54564-6 | |
| 776 | 0 | |t Nonmonotonic and Inductive Logic |b Texte imprimé |z 9783662196960 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0023313 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-1ZG21HQ0-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750658088 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0023313 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754007847 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0023313 |z Accès INSA CVL | |
| 997 | |0 970929 |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/ | ||