Advances in Artificial Intelligence: Third Congress of the Italian Association for Artificial Intelligence, AI*IA `93, Torino, Italy, October 26-28, 1993. Proceedings: Lecture Notes in Computer Science, cartea 728
Editat de Pietro Torassoen Limba Engleză Paperback – 5 oct 1993
Din seria Lecture Notes in Computer Science
- 15%
Preț: 558.12 lei - 20%
Preț: 573.45 lei - 20%
Preț: 330.54 lei - 20%
Preț: 620.33 lei - 20%
Preț: 400.77 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 629.71 lei - 20%
Preț: 328.94 lei - 20%
Preț: 375.72 lei - 20%
Preț: 568.70 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 489.11 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 782.57 lei - 20%
Preț: 336.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 850.42 lei - 20%
Preț: 432.78 lei - 20%
Preț: 342.61 lei - 20%
Preț: 631.96 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 487.46 lei - 20%
Preț: 400.17 lei - 20%
Preț: 984.64 lei - 20%
Preț: 556.96 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 793.92 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 679.09 lei - 20%
Preț: 558.53 lei - 20%
Preț: 327.36 lei - 20%
Preț: 340.04 lei - 20%
Preț: 327.36 lei - 20%
Preț: 560.93 lei - 20%
Preț: 324.19 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 735.28 lei - 20%
Preț: 373.80 lei -
Preț: 395.25 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 322.74 lei
Preț vechi: 403.43 lei
-20%
Puncte Express: 484
Preț estimativ în valută:
57.06€ • 67.82$ • 49.51£
57.06€ • 67.82$ • 49.51£
Carte tipărită la comandă
Livrare economică 12-26 martie
Specificații
ISBN-13: 9783540572923
ISBN-10: 3540572929
Pagini: 356
Ilustrații: XIII, 343 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.5 kg
Ediția:1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540572929
Pagini: 356
Ilustrații: XIII, 343 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.5 kg
Ediția:1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Proving formulas through reduction to decidable classes.- Building and executing proof strategies in a formal metatheory.- Computing 3-valued stable models by using the ATMS.- Abstract properties for the choice provability relation in nonmonotonic logics.- Characterizing prime implicants as projective spaces.- EFH-Soar: Modeling education in highly interactive microworlds.- Foundations for interaction: The dependence theory.- Letter spirit: An architecture for creativity in a microdomain.- New systems for extracting 3-D shape information from images.- Projecting sub-symbolic onto symbolic representations in artificial neural networks.- Integrating the symbolic and the sub-symbolic level in sonar-based navigation.- Randomness, imitation or reason explain agents' behaviour into an artificial stock market?.- Neural networks for constraint satisfaction.- Reasoning with individuals in concept languages.- A family of temporal terminological logics.- Logic programming and autoepistemic logics: New relations and complexity results.- Inferring in lego-land: an architecture for the integration of heterogeneous inference modules.- MAP — a language for the modelling of Multi-Agent systems.- Developing co-operating legal knowledge based systems.- Negation as a specializing operator.- Constructing refinement operators by decomposing logical implication.- Learning relations: Basing top-down methods on inverse resolution.- Complexity of the CFP, a method for Classification based on Feature Partitioning.- Genetic algorithms elitist probabilistic of degree 1, a generalization of simulated annealing.- Learning relations using genetic algorithms.- Evolutionary learning for relaxation labeling processes.- Increasing cohesion in automatically generated natural language texts.- Productionof cooperative answers on the basis of partial knowledge in information-seeking dialogues.- Coping with modifiers in a restricted domain.- Explanation strategies in a tutoring system.- Maintaining consistency in quantitative temporal constraint networks for planning and scheduling.- Making an autonomous robot plan temporally constrained maintenance operations.- A generative constraint formalism for configuration problems.- Selecting observation time in the monitoring and interpretation of time-varying data.- Spatial reasoning in a holey world.