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 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.
Author(s): H. -H. Nagel (auth.), Bernhard Nebel, Leonie Dreschler-Fischer (eds.)
Series: Lecture Notes in Computer Science 861 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 409
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages
AI approaches towards sensor-based driver support in road vehicles....Pages 1-15
Representing concurrent actions and solving conflicts....Pages 16-27
Preselection strategies for case based classification....Pages 28-38
Utilizing spatial relations for natural language access to an autonomous mobile robot....Pages 39-50
Cardinality restrictions on concepts....Pages 51-62
An artificial neural network for high precision eye movement tracking....Pages 63-69
A Kripke-Kleene logic over general logic programs....Pages 70-81
The stable semantics and its variants: A comparison of recent approaches....Pages 82-93
TabVer a case study in table verbalization....Pages 94-105
Cooperating to be noncooperative: The dialog system PRACMA....Pages 106-117
Robust constructive induction....Pages 118-129
Enriching a semantic network language by integrating qualitative reasoning techniques....Pages 130-141
Combining spatial and terminological reasoning....Pages 142-153
Detecting gestalts in CAD-plans to be used as indices for case-retrieval in architecture....Pages 154-165
The NeuDB-system: Towards the integration of neural networks and database systems....Pages 166-177
Weighted defaults in description logics: Formal properties and proof theory....Pages 178-189
Epistemic queries in Classic....Pages 190-201
Communicating rational agents....Pages 202-213
Knowledge-level modularization of a complex knowledge base....Pages 214-225
Program verification techniques as a tool for reasoning about action and change....Pages 226-236
A conditional logic for updating in the possible models approach....Pages 237-247
Probabilistic justification of default reasoning....Pages 248-259
A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory....Pages 260-271
Incorporating specificity into circumscriptive theories....Pages 272-283
Coherent choice and epistemic entrenchment (preliminary report)....Pages 284-295
A note on tableaux of logic of paradox....Pages 296-307
When nonmonotonicity comes from distances....Pages 308-318
Rigid unification by completion and rigid paramodulation....Pages 319-330
Unification in a sorted λ-calculus with term declarations and function sorts....Pages 331-342
Goal oriented equational theorem proving using team work....Pages 343-354
The hardest random SAT problems....Pages 355-366
Formal methods for automated program improvement....Pages 367-378
Adapting methods to novel tasks in proof planning....Pages 379-390
Using charts for transfer in MT....Pages 391-391
A new frame for common-sense reasoning — Towards local inconsistencies....Pages 392-392
Prioritized transitions for updates....Pages 393-393
An optimal bidirectional search algorithm....Pages 394-394
Learning to discriminate phases in gas-liquid flow....Pages 395-395
Strategies for semantical contractions....Pages 396-396
Conflicts in the spatial interaction of autonomous agents....Pages 397-397
Using rough sets theory to predict German word stress....Pages 398-398
Graphtheoretical algorithms and knowledge-based design....Pages 399-399
Interval situation calculus....Pages 400-400
