Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings (Paperback, 1993)

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.- Grobner 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.