简介
This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrucken 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 papers and 12 poster presentations selected from a total of 98 contributions, half of them originating from outside Germany. The papers cover all relevant aspects of AI with a certain focus on knowledge representation and logical foundations of AI; further topics covered are neural network applications, logic programming, natural language, machine learning, and reasoning.
目录
Front Matter
Pages -
Download PDF
(244KB)
Book Chapter
Pages 1-15
AI approaches towards sensor-based driver support in road vehicles
Book Chapter
Pages 16-27
Representing concurrent actions and solving conflicts
Book Chapter
Pages 28-38
Preselection strategies for case based classification
Book Chapter
Pages 39-50
Utilizing spatial relations for natural language access to an autonomous mobile robot
Book Chapter
Pages 51-62
Cardinality restrictions on concepts
Book Chapter
Pages 63-69
An artificial neural network for high precision eye movement tracking
Book Chapter
Pages 70-81
A Kripke-Kleene logic over general logic programs
Book Chapter
Pages 82-93
The stable semantics and its variants: A comparison of recent approaches
Book Chapter
Pages 94-105
TabVer a case study in table verbalization
Book Chapter
Pages 106-117
Cooperating to be noncooperative: The dialog system PRACMA
Book Chapter
Pages 118-129
Robust constructive induction
Book Chapter
Pages 130-141
Enriching a semantic network language by integrating qualitative reasoning techniques
Book Chapter
Pages 142-153
Combining spatial and terminological reasoning
Book Chapter
Pages 154-165
Detecting gestalts in CAD-plans to be used as indices for case-retrieval in architecture
Book Chapter
Pages 166-177
The NeuDB-system: Towards the integration of neural networks and database systems
Book Chapter
Pages 178-189
Weighted defaults in description logics: Formal properties and proof theory
Book Chapter
Pages 190-201
Epistemic queries in Classic
Book Chapter
Pages 202-213
Communicating rational agents
Book Chapter
Pages 214-225
Knowledge-level modularization of a complex knowledge base
Book Chapter
Pages 226-236
Program verification techniques as a tool for reasoning about action and change Witold 艁ukaszewicz,
Ewa Madali艅ska-Bugaj…show all 2hide Look Inside Get AccesspreviousPage
is not a valid page number. Please enter a number between
1and
3of
3
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
