KI-94: Advances in Artificial Intelligence de Bernhard Nebel

KI-94: Advances in Artificial Intelligence: 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings: Lecture Notes in Computer Science, cartea 861

Bernhard Nebel

Leonie Dreschler-Fischer

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.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 400^.77 lei
20%

Preț: 754^.11 lei
20%

Preț: 324^.19 lei
20%

Preț: 373^.80 lei
20%

Preț: 342^.61 lei
20%

Preț: 403^.00 lei
20%

Preț: 573^.45 lei
Preț: 395^.25 lei
20%

Preț: 487^.46 lei
20%

Preț: 355^.27 lei
20%

Preț: 731^.97 lei
20%

Preț: 293^.24 lei
20%

Preț: 669^.21 lei
20%

Preț: 984^.64 lei
20%

Preț: 620^.33 lei
20%

Preț: 336^.86 lei
20%

Preț: 330^.54 lei
20%

Preț: 313^.87 lei
20%

Preț: 679^.09 lei
20%

Preț: 373^.16 lei
20%

Preț: 782^.57 lei
20%

Preț: 434^.17 lei
20%

Preț: 489^.11 lei
20%

Preț: 904^.16 lei
20%

Preț: 375^.72 lei
20%

Preț: 400^.17 lei
20%

Preț: 432^.78 lei
20%

Preț: 631^.96 lei
20%

Preț: 432^.11 lei
20%

Preț: 1359^.66 lei
20%

Preț: 556^.96 lei
20%

Preț: 488^.90 lei
20%

Preț: 560^.93 lei
20%

Preț: 327^.36 lei
20%

Preț: 340^.04 lei
20%

Preț: 327^.36 lei
20%

Preț: 328^.94 lei
20%

Preț: 629^.71 lei
20%

Preț: 568^.70 lei
20%

Preț: 447^.31 lei
20%

Preț: 733^.68 lei
20%

Preț: 315^.26 lei
20%

Preț: 315^.62 lei
20%

Preț: 1020^.28 lei
20%

Preț: 850^.42 lei
20%

Preț: 1391^.87 lei
20%

Preț: 519^.32 lei

Specificații

ISBN-13: 9783540584674
ISBN-10: 3540584676
Pagini: 420
Ilustrații: XI, 409 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.59 kg
Ediția:1994
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Cuprins

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.