KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9 12, 1997 : proceedings
This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997. The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries....
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science. Lecture notes in artificial intelligence
1303 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • KI-97, advances in artificial intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 1997, proceedings, Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.), 1997, Berlin, Springer, 1 vol. (XI-412 p.), Lecture notes in computer science, 3-540-63493-2 • KI-97: Advances in Artificial Intelligence, Texte imprimé, 9783662166574 |
İçindekiler:
- Qualitative spatial representation and reasoning techniques
- COLBERT: A language for reactive control in Sapphira
- Machine learning for adaptive user interfaces
- Structured incremental proof planning
- Many-sorted logic in a learning theorem prover
- Rigid hypertableaux
- Minimal model generation based on E-hyper tableaux
- External analogy in inductive theorem proving
- Mechanising partiality without re-implementation
- From linear proofs to direct logic with exponentials
- Integrating an equality prover into a software development system based on type theory
- Causation and nonmonotonic temporal reasoning
- Labelled quantified modal logics
- Defining decision rules in signed horn clauses
- Modelling subjective distances
- An axiomatic approach to the spatial relations underlying left-right and in front of-behind
- Representation and processing of qualitative orientation knowledge
- A contribution to the question of authenticity of Rhesus using part-of-speech tagging
- Making objects more knowledgeable
- Constraining the acquisition of concepts by the quality of heterogeneous evidence
- Conceptualizing Adjectives
- Parsing N best trees from a word lattice
- Fast grid-based position tracking for mobile robots
- Integration of image sequence evaluation and fuzzy metric temporal logic programming
- Designing a counter: Another case study of dynamics and activation landscapes in recurrent networks
- Cooperating diagnostic expert systems to solve complex diagnosis tasks
- Tabu search vs. Random walk
- Multi-flip networks: Parallelizing genSAT
- Resource-adaptive action planning in a dialogue system for repair support
- A modal computational framework for default reasoning
- Planning diagonalization proofs
- Suffix tree automata in state space search
- Connection Cuttingfor Contraction Free Logic
- Agents in proactive environments
- Reducing lexical redundancy by augmenting conceptual knowledge
- A graphical user interface for an ECG classifier system
- Expert system in additional finishing
- Reasoning about exceptions (extended abstract)
- Learning and interpretation of the layout of structured documents.