KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main par...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science. Lecture notes in artificial intelligence
981 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • KI-95, advances in artificial intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, proceedings, Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, eds, Berlin, Springer, 1995, 1 vol. (XII-268 p.), Lecture notes in computer science, 3-540-60343-3 • KI-95: Advances in Artificial Intelligence, Texte imprimé, 9783662184011 |
| LEADER | 04441nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 970177 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155185896 | ||
| 020 | |a 9783540449447 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Wachsmuth, Ipke, |d 1950- | |
| 245 | 1 | 0 | |a KI-95 : |b advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings |c [edited by] Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer. |
| 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 981 |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 Partially observable Markov decision processes for artificial intelligence -- Robust processing of natural language -- Distinction networks -- The problem of signal and symbol integration: A study of cooperative mobile autonomous agent behaviors -- An extension of explanation-based generalization to negation as failure -- Inducing integrity constraints from knowledge bases -- Dynamic structuring of lexical knowledge in a reusability scenario -- Efficient memory-limited graph search -- Quality-based terminological reasoning for concept learning -- Task acquisition with a description logic reasoner -- Parallelizing description logics -- Automated termination proofs with measure functions -- What is a skeptical proof? -- Default entailment -- Actions that make you change your mind -- Reasoning about action with typical and atypical effects -- Reasoning about action and change: Actions with abnormal effects -- Temporal logic based on characteristic functions -- Computational properties of qualitative spatial reasoning: First results -- An empirically validated model for computing spatial relations -- Integrating vision and language: Towards automatic description of human movements. | |
| 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 book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Représentation des connaissances | ||
| 650 | |a Raisonnement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Rollinger, Claus-Rainer, |d 1950- |4 pbd | |
| 700 | 1 | |a Brauer, Wilfried, |d 1937-2014. |4 pbd | |
| 711 | 2 | |a German conference on artificial intelligence |n (19 |d :1995 |c :Bielefeld, Allemagne). |4 aut | |
| 776 | 0 | |0 024434256 |t KI-95 |o advances in artificial intelligence |o 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 |o proceedings |f Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, eds |c Berlin |n Springer |d 1995 |p 1 vol. (XII-268 p.) |s Lecture notes in computer science |z 3-540-60343-3 | |
| 776 | 0 | |t KI-95: Advances in Artificial Intelligence |b Texte imprimé |z 9783662184011 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60343-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-6H374S52-X |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750666048 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60343-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75401519X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60343-3 |z Accès INSA CVL | |
| 997 | |0 970177 |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/ | ||