KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : proceedings
This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994. Besides the invited paper "AI approaches towards sensor-based support in road vehicles" by H.-H. Nagel, the book contains 33 full research pa...
Сохранить в:
| Главный автор: | |
|---|---|
| Соавтор: | |
| Другие авторы: | |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science. Lecture notes in artificial intelligence
861 |
| Предметы: | |
| 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 |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • KI-94, advances in artificial intelligence, 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, proceedings, Bernhard Nebel, Leonie Dreschler-Fischer (Eds.), Berlin, Springer-Verlag, 1994, 1 volume (X-400 pages), Lecture notes in computer science, 3-540-58467-6 • KI-94: Advances in Artificial Intelligence, Texte imprimé, 9783662195031 |
Оглавление:
- AI approaches towards sensor-based driver support in road vehicles
- Representing concurrent actions and solving conflicts
- Preselection strategies for case based classification
- Utilizing spatial relations for natural language access to an autonomous mobile robot
- Cardinality restrictions on concepts
- An artificial neural network for high precision eye movement tracking
- A Kripke-Kleene logic over general logic programs
- The stable semantics and its variants: A comparison of recent approaches
- TabVer a case study in table verbalization
- Cooperating to be noncooperative: The dialog system PRACMA
- Robust constructive induction
- Enriching a semantic network language by integrating qualitative reasoning techniques
- Combining spatial and terminological reasoning
- Detecting gestalts in CAD-plans to be used as indices for case-retrieval in architecture
- The NeuDB-system: Towards the integration of neural networks and database systems
- Weighted defaults in description logics: Formal properties and proof theory
- Epistemic queries in Classic
- Communicating rational agents
- Knowledge-level modularization of a complex knowledge base
- Program verification techniques as a tool for reasoning about action and change
- A conditional logic for updating in the possible models approach
- Probabilistic justification of default reasoning
- A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory
- Incorporating specificity into circumscriptive theories
- Coherent choice and epistemic entrenchment (preliminary report)
- A note on tableaux of logic of paradox
- When nonmonotonicity comes from distances
- Rigid unification by completion and rigid paramodulation
- Unification in a sorted ?-calculus with term declarations andfunction sorts
- Goal oriented equational theorem proving using team work
- The hardest random SAT problems
- Formal methods for automated program improvement
- Adapting methods to novel tasks in proof planning
- Using charts for transfer in MT
- A new frame for common-sense reasoning Towards local inconsistencies
- Prioritized transitions for updates
- An optimal bidirectional search algorithm
- Learning to discriminate phases in gas-liquid flow
- Strategies for semantical contractions
- Conflicts in the spatial interaction of autonomous agents
- Using rough sets theory to predict German word stress
- Graphtheoretical algorithms and knowledge-based design
- Interval situation calculus.