Progress in Artificial Intelligence
Editat de Pedro Barahona, Jose J. Alferesen Limba Engleză Paperback – 8 sep 1999
Preț: 327.48 lei
Preț vechi: 409.36 lei
-20%
Puncte Express: 491
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540665489
ISBN-10: 354066548X
Pagini: 404
Ilustrații: XII, 392 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.61 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354066548X
Pagini: 404
Ilustrații: XII, 392 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.61 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Lectures.- Combinatorial Optimization in OPL Studio.- Challenges for Inductive Logic Programming.- Holonic Multiagent Systems — Theory and Applications —.- Constraint Programming.- On the Accuracy and Running Time of GSAT.- The Impact of Branching Heuristics in Propositional Satisfiability Algorithms.- A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.- Is a Tractable Language?.- Natural Language Processing.- Inclusion of Picture Sequences in Generated Documents.- Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units.- On the Formal Distinction between Literal and Figurative Language.- Spatial Reasoning.- Qualitative Theory of Shape and Structure.- Logic Programming.- A New Formulation of Tabled Resolution with Delay.- YapOr: An Or-Parallel Prolog System Based on Environment Copying.- Theorem Proving.- Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic.- Critical Agents Supporting Interactive Theorem Proving.- Reasoning Under Uncertainty.- A Practical Approach to Fusing Prioritized Knowledge Bases.- Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles.- Multi-agent Systems.- A Multi-agent System for Electronic Commerce Including Adaptive Strategic Behaviours.- Choice and Institutions in Agent Societies.- Analytic Modal Revision for Multi-agent Systems.- Decisions Based upon Multiple Values: The BVG Agent Architecture.- Abduction and Revision.- Temporal Abductive Diagnosis.- A New Approach to Base Revision.- Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming.- Genetic Algorithms.- Genetic Algorithms for Solving Open Shop Scheduling Problems.- Expressing Population Based Optimization HeuristicsUsing PLATO.