Cantitate/Preț
Produs
Total produse
Vezi coșul
KI-95: Advances in Artificial Intelligence de Ipke Wachsmuth

KI-95: Advances in Artificial Intelligence

Editat de Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer
en Limba Engleză Paperback – 4 sep 1995
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.
The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.
Citește tot Restrânge

Preț: 32156 lei

Preț vechi: 40194 lei
-20%

Puncte Express: 482

Carte tipărită la comandă

Livrare economică 10-24 septembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540603436
ISBN-10: 3540603433
Pagini: 288
Ilustrații: XIII, 275 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:1995
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Partially observable Markov decision processes for artificial intelligence.- Robust processing of natural language.- Distinction networks.- The problem of signal and symbol integration: A study of cooperative mobile autonomous agent behaviors.- An extension of explanation-based generalization to negation as failure.- Inducing integrity constraints from knowledge bases.- Dynamic structuring of lexical knowledge in a reusability scenario.- Efficient memory-limited graph search.- Quality-based terminological reasoning for concept learning.- Task acquisition with a description logic reasoner.- Parallelizing description logics.- Automated termination proofs with measure functions.- What is a skeptical proof?.- Default entailment.- Actions that make you change your mind.- Reasoning about action with typical and atypical effects.- Reasoning about action and change: Actions with abnormal effects.- Temporal logic based on characteristic functions.- Computational properties of qualitative spatial reasoning: First results.- An empirically validated model for computing spatial relations.- Integrating vision and language: Towards automatic description of human movements.