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
Preț estimativ în valută:
57.91€ • 66.42$ • 50.06£
57.91€ • 66.42$ • 50.06£
Carte tipărită la comandă
Livrare economică 29 aprilie-13 mai
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.