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.)

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.

「Nielsen BookData」より


  • 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 and function 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.

「Nielsen BookData」より


書名 KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : proceedings
著作者等 Dreschler-Fischer, Leonie
German Conference on Artificial Intelligence
Nebel, Bernhard
シリーズ名 Lecture notes in computer science
出版元 Springer-Verlag
刊行年月 c1994
ページ数 x, 400 p.
大きさ 24 cm
ISBN 0387584676
NCID BA23471724
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ