Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1993.
|
| Series: | Lecture notes in computer science ;
737. |
| Subjects: |
Table of Contents:
- Artificial Intelligence and Symbolic Mathematical Computations / J. Calmet and J. A. Campbell
- Qualitative Modeling of Physical Systems in AI Research / P. Struss
- On the Topological Structure of Configuration Spaces / J. Sellen
- A Symbolic Approach to Interval Constraint Problems / P. Ladkin and A. Reinefeld
- An Algebraic Approach to Knowledge-Based Modeling / G. Schwarzler
- Intelligent User Interfaces for Symbolic and Numeric Computation / M. E. Clarkson
- The Progress Towards an Intelligent Assistant - A Discussion Paper / G. Butler
- On Mathematical Modeling in Robotics / J. Pfalzgraf
- Grobner Bases: Strategies and Applications / E. Monfroy
- Heuristic Search Strategies for Cylindrical Algebraic Decomposition / H. Hong
- Unified Domains and Abstract Computational Structures / J. Calmet, K. Homann and I. A. Tjandra
- Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence / E. Ardeleanu.
- A Type-Coercion Problem in Computer Algebra / A. Weber
- Algorithmic Development of Power Series / W. Koepf
- A Cooperative Approach to Query Processing: Integrating Historical, Structural, and Behavioral Knowledge Sources / L. Kerschberg and A. Waisanen
- A Desk-Top Sequent Calculus Machine / G. Cioni, A. Colagrossi and A. Miola
- Gentzen-style Characterizations of Negation as Failure / J. A. Plaza
- A New Translation from Deduction into Integer Programming / R. Hahnle
- Reasoning About Time / M. C. Golumbic
- Learning Qualitative Physics Reasoning from Regime Analysis / W. L. Roque
- Qualitative Mathematical Modeling of Genetic Algorithm / R. Garigliano and D. J. Nettleton.