ISBN-10:
3540573224
ISBN-13:
9783540573227
Pub. Date:
11/05/1993
Publisher:
Springer Berlin Heidelberg
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings / Edition 1

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

by Jacques Calmet, John A. Campbell

Paperback

Current price is , Original price is $99.0. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9783540573227
Publisher: Springer Berlin Heidelberg
Publication date: 11/05/1993
Series: Lecture Notes in Computer Science , #737
Edition description: 1993
Pages: 315
Product dimensions: 6.10(w) x 9.25(h) x 0.24(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews