Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings - Brossura

Brossura

ISBN 10: 3662200287 ISBN 13: 9783662200285

Casa editrice: Springer, 2014

Riassunto

Artificial intelligence and symbolic mathematical computations.- Qualitative modeling of physical systems in AI research.- On the topological structure of configuration spaces.- A symbolic approach to interval constraint problems.- An algebraic approach to knowledge-based modeling.- Intelligent user interfaces for symbolic and numeric computation.- The progress towards an intelligent assistant - A discussion paper.- On mathematical modeling in robotics.- Gröbner bases: Strategies and applications.- Heuristic search strategies for Cylindrical Algebraic Decomposition.- Unified domains and abstract computational structures.- Completion and invariant theory in symbolic computation and artificial intelligence.- A type-coercion problem in computer algebra.- Algorithmic development of power series.- A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources.- A desk-top sequent calculus machine.- Gentzen-style characterizations of Negation as Failure.- A new translation from deduction into integer programming.- Reasoning about time.- Learning qualitative physics reasoning from regime analysis.- Qualitative mathematical modelling of genetic algorithms.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662200287
• ISBN 13: 9783662200285
• Rilegatura: Paperback
• Contatto del produttore: non disponibile