"Artificial Intelligence and Symbolic Mathematical Computing" ed. by Jacques Calmet, John A. Campbell

This volume contains 20 papers, updated in some cases, presented at the first Artificial Intelligence and Symbolic Mathematical Computations (AISMC) conference. As a result, extended and fruitful discussions followed each paper.




The first AISMC 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 appearance in AI conferences, though it used to be welcome in the early days of AI. Some conferences were held recently on mathematics and AI, but none was directly comparable in scope to this conference.
The introductory chapter in this book, which was not presented during the conference, reflects in many ways the flavor of these discussions and aims to set out the framework for future activities in this domain of research.

Contents
Artificial Intelligence and Symbolic Mathematical Computations - J. Calmet, Universitat Karlsruhe, Germany, J.A. Campbell, University College London, UK
Qualitative Modeling of Physical Systems in AI Research - P. Struss, Technische Universitat Miinchen, Germany
Invited talk
On the Topological Structure of Configuration Spaces - J. Sellen, Universitat des Saarlandes, Germany
A Symbolic Approach to Interval Constraint Problems - P. Ladkin, Universitat Bern, Switzerland, A. Reinefeld, Universitat Paderborn, Germany
An Algebraic Approach to Knowledge-Based Modeling - G. Schwarzler, ETH Zurich, Switzerland
Intelligent User Interfaces for Symbolic and Numeric Computation - M.E. Clarkson, York University, Canada
The Progress Towards an Intelligent Assistant - A Discussion Paper - G. Butler, Concordia University, Canada
On Mathematical Modeling in Robotics - J. Pfalzgraf, RISC-Linz, Austria
Invited talk
Grobner Bases: Strategies and Applications - E. Monfroy, ECRC, Munich, Germany
Heuristic Search Strategies for Cylindrical Algebraic Decomposition - H. Hong, RISC-Linz, Austria
Unified Domains and Abstract Computational Structures - J. Calmet, K. Homann, I.A. Tjandra, Universitat Karlsruhe, Germany
Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence - E. Ardeleanu, RISC-Linz, Austria
A Type-Coercion Problem in Computer Algebra - A. Weber, Universitat Tubingen, Germany
Algorithmic Development of Power Series - W. Koepf, Freie Universitat Berlin, Germany
A Cooperative Approach to Query Processing: Integrating Historical, Structural, and Behavioral Knowledge Sources - L. Kerschberg, A. Waisanen, George Mason University, USA
Invited talk
A Desk-Top Sequent Calculus Machine - G. Cioni, A. Colagrossi, A. Miola, Universita di Roma "La Sapienza", Italy
Gentzen-style Characterizations of Negation as Failure 2- J.A. Plaza, Univ. of Miami, USA
A New Translation from Deduction into Integer Programming - R. Hahnle, Universitat Karlsruhe, Germany
Reasoning About Time - M.C. Golumbic, IBM-Israel
Invited talk
Learning Qualitative Physics Reasoning from Regime Analysis - W.L. Roque, Univ. Federal de Santa Catarina, Brasil
Qualitative Mathematical Modeling of Genetic Algorithm - R. Garigliano, D.J. Nettleton, Univ. of Durham, UK