PxPixel
+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Ki-94: Advances in Artificial Intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrucken, September 18-23, 1994. Proceedings - Bernhard Nebel

Ki-94: Advances in Artificial Intelligence

18th German Annual Conference on Artificial Intelligence, Saarbrucken, September 18-23, 1994. Proceedings

By: Bernhard Nebel (Editor), Leonie Dreschler-Fischer (Editor)

Paperback Published: 7th September 1994
ISBN: 9783540584674
Number Of Pages: 409

Share This Book:

Paperback

$147.02
or 4 easy payments of $36.76 with Learn more
Ships in 15 business days

Earn 294 Qantas Points
on this Book

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.

AI Approaches towards Sensor-Based Driver Support in Road Vehiclesp. 1
Representing Concurrent Actions and Solving Conflictsp. 16
Preselection Strategies for Case Based Classificationp. 28
Utilizing Spatial Relations for Natural Language Access to an Autonomous Mobile Robotp. 39
Cardinality Restrictions on Conceptsp. 51
An Artificial Neural Network for High Precision Eye Movement Trackingp. 63
A Kripke-Kleene Logic over General Logic Programsp. 70
The Stable Semantics and its Variants: A Comparison of Recent Approachesp. 82
TabVer: A Case Study in Table Verbalizationp. 94
Cooperating to be Noncooperative: The Dialog System PRACMAp. 106
Robust Constructive Inductionp. 118
Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniquesp. 130
Combining Spatial and Terminological Reasoningp. 142
Detecting Gestalts in CAD-Plans to be used as Indices for Case-retrieval in Architecturep. 154
The NeuDB-System: Towards the Integration of Neural Networks and Database Systemsp. 166
Weighted Defaults in Description Logics: Formal Properties and Proof Theoryp. 178
Epistemic Queries in Classicp. 190
Communicating Rational Agentsp. 202
Knowledge-Level Modularization of a Complex Knowledge Basep. 214
Program Verification Techniques as a Tool for Reasoning about Action and Changep. 226
A Conditional Logic for Updating in the Possible Models Approachp. 237
Probabilistic Justification of Default Reasoningp. 248
A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theoryp. 260
Incorporating Specificity into Circumscriptive Theoriesp. 272
Coherent Choice and Epistemic Entrenchmentp. 284
A Note on Tableaux of Logic of Paradoxp. 296
When Nonmonotonicity Comes from Distancesp. 308
Rigid Unification by Completion and Rigid Paramodulationp. 319
Unification in a Sorted [lambda]-Calculus with Term Declarations and Function Sortsp. 331
Goal Oriented Equational Theorem Proving Using Team Workp. 343
The Hardest Random SAT Problemsp. 355
Formal Methods for Automated Program Improvementp. 367
Adapting Methods to Novel Tasks in Proof Planningp. 379
Using Charts for Transfer in MTp. 391
A New Frame for Common-Sense Reasoning - Towards Local Inconsistenciesp. 392
Prioritized Transitions for Updatesp. 393
An Optimal Bidirectional Search Algorithmp. 394
Learning to Discriminate Phases in Gas-Liquid Flowp. 395
Strategies for Semantical Contractionsp. 396
Conflicts in the Spatial Interaction of Autonomous Agentsp. 397
Using Rough Sets Theory to Predict German Word Stressp. 398
Graphtheoretical Algorithms and Knowledge-Based Designp. 399
Interval Situation Calculusp. 400
Author Indexp. 401
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540584674
ISBN-10: 3540584676
Series: Springer Series in Chemical Physics
Audience: General
Format: Paperback
Language: English
Number Of Pages: 409
Published: 7th September 1994
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.18
Weight (kg): 0.59

Earn 294 Qantas Points
on this Book