The logic of theory change : workshop, Konstanz, FRG, October 13 15, 1989 : proceedings
The logic of theory change, or the theory of belief revision, is a growing area of research in artificial intelligence. The papers in this volume, mostly arising from a workshop held in Konstanz in October 1989, chart out the current state of research in this area and indicate the directions of futu...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
465 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Actes d'un séminaire tenu à Constance du 13 au 15 octobre 1989, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The Logic of theory change, workshop, Konstanz, FRG, October 13-15, 1989, proceedings, A. Fuhrmann, M. Morreau, eds, Berlin, Springer-Verlag, 1991, 1 vol. (x, 334 p.), Lecture notes in computer science, 0-387-53567-5 • The Logic of Theory Change, Texte imprimé, 9783662167663 |
| LEADER | 04048nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 972728 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155229060 | ||
| 020 | |a 9783540468172 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.015113 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Fuhrmann, André. | |
| 245 | 1 | 0 | |a The logic of theory change : |b workshop, Konstanz, FRG, October 13 15, 1989 : proceedings |c [edited by] André Fuhrmann, Michael Morreau. |
| 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 465 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Actes d'un séminaire tenu à Constance du 13 au 15 octobre 1989, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Inquiry, argumentation and knowledge -- Rational control of reasoning in artificial intelligence -- Computational issues in belief revision -- Some results on theory revision -- Epistemic entrenchment with incomparabilities and relational belief revision -- The negative Ramsey test: Another triviality result -- A nonmonotonic conditional logic for belief revision -- Relations between the logic of theory change and nonmonotonic logic -- Belief revision in a framework for default reasoning -- Preferential cumulative reasoning and nonmonotonic semantic nets -- Propositional logic based on the dynamics of disbelief -- On the modal logic of theory change -- Discourse representation theory and belief dynamics -- Multiple contraction a further case against gärdenfors' principle of recovery. | |
| 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 The logic of theory change, or the theory of belief revision, is a growing area of research in artificial intelligence. The papers in this volume, mostly arising from a workshop held in Konstanz in October 1989, chart out the current state of research in this area and indicate the directions of future research. Connections to other areas of AI research are emphasized throughout the book. All the contributions are original research papers and most of them are self-contained, so that the collection will be of interest not only to researchers but also to all those who seek an introduction to the state of the art in this area. The fourteen contributions are organized into five sections: - Foundations - Models of theory change - The Ramsey test for conditionals - Theory change and nonmonotonic reasoning - Reformulations and extensions. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Morreau, Michael. |4 pbd | |
| 776 | 0 | |0 021822328 |t The Logic of theory change |o workshop, Konstanz, FRG, October 13-15, 1989, proceedings |f A. Fuhrmann, M. Morreau, eds |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (x, 334 p.) |s Lecture notes in computer science |z 0-387-53567-5 | |
| 776 | 0 | |t The Logic of Theory Change |b Texte imprimé |z 9783662167663 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0018413 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-ZNTKWJSJ-R |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750633557 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0018413 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75398993X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0018413 |z Accès INSA CVL | |
| 997 | |0 972728 |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/ | ||