Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992. This was the first conference to be devoted to such a topic after a long period when SMC made no appea...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1993, 1993
|
| Edition: | 1st ed. 1993 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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