KI-98 : advances in artificial intelligence : 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998 : proceedings
This book constitutes the refereed proceedings of the 22nd Annual German Conference on Artificial Intelligence, KI-98, held in Bremen, Germany, in September 1998. The 16 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. Also included are three invit...
Salvato in:
| Autore principale: | |
|---|---|
| Ente Autore: | |
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science. Lecture notes in artificial intelligence
1504 |
| Soggetti: | |
| Accesso online: | 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-98, advances in artificial intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, proceedings, Otthein Herzog, Andreas Günter (eds.), 1998, New York, Springer, 1 vol. (XI-353 p.), Lecture notes in computer science, 3-540-65080-6 • KI-98: Advances in Artificial Intelligence, Texte imprimé, 9783662179802 |
Sommario:
- Information processing and knowledge generation in the nervous system
- Data mining with graphical models
- Artificial intelligence for nature Why knowledge representation and problem solving should play a key role in environmental decision support
- The infinite variety of logics
- Thinking in agents
- Finding regions for local repair in partial constraint satisfaction
- Needle s eyes A general decomposition principle for practical uses
- OBDDs in heuristic search
- Handling negative assumptions in a generic user modeling framework
- From theory to practice in multiagent system design: The case of structural co-operation
- Distributive concept exploration A knowledge acquisition tool in formal concept analysis
- Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
- Simultaneous quantifier elimination
- Deductive verification of invariants of state-transition systems
- GOLEX Bridging the Gap between Logic (GOLOG) and a real robot
- Structured reactive communication plans
- Towards a methodology for developing application-oriented report generation
- Concepts for a diagnostic critiquing system in vague domains
- The treatment of time in a case-based analysis of experimental medical studies
- Formal representation of temporal items of the diagnostic and statistic manual of mental disorders
- Part-whole reasoning in medical knowledge bases using description logics
- An optimization approach on the integration of multiple images for classification.