Abstract is missing.
- Artificial Intelligence and Symbolic Mathematical ComputationJacques Calmet, John A. Campbell. 1-19
- Qualitative Modeling of Physical Systems in AI ResearchPeter Struss. 20-49
- On the Topological Structure of Configuration SpacesJürgen Sellen. 50-64
- A Symbolic Approach to Interval Constraint ProblemsPeter B. Ladkin, Alexander Reinefeld. 65-84
- An Algebraic Approach to Knowledge-Based ModelingGerhard Schwärzler. 85-95
- Intelligent User Interfaces for Symbolic and Numeric ComputationMichael E. Clarkson. 96-106
- The Progress Towards an Intelligent Assistent - A Discussion PaperGregory Butler. 107-115
- On Mathematical Modeling in RoboticsJochen Pfalzgraf. 116-132
- Gröbner Bases: Strategies and ApplicationsEric Monfroy. 133-151
- Heuristic Search Strategies for Cylindrical Algebraic DecomposionHoon Hong. 152-165
- Unified Domains and Abstract Computational StructuresJacques Calmet, Karsten Homann, Indra A. Tjandra. 166-177
- Completion and Invariant Theory in Symbolic Computation and Artificial IntelligenceEugen E. Ardeleanu. 178-187
- A Type-Coercion Problem in Computer AlgebraAndreas Weber. 188-194
- Algorthmic Development of Power SeriesWolfram Koepf. 195-213
- A Cooperative Approach to Query Processing: Integrating Historical, Structural, and Behavioral Knowledge SourcesLarry Kerschberg, Anthony Waisanen. 214-223
- A Desk-Top Sequent Calculus MachineGianna Cioni, Attilio Colagrossi, Alfonso Miola. 224-236
- Gentzen-style Characterizations of Negation as FailureJan A. Plaza. 237-261
- A New Translation from Deduction into Integer ProgrammingReiner Hähnle. 262-275
- Reasoning About TimeMartin Charles Golumbic. 276
- Learning Qualitative Physics Reasoning from Regime AnalysisWaldir L. Roque. 277-293
- Qualitative Mathematical Modeling of Genetic AlgorithmsRoberto Garigliano, David J. Nettleton. 294-305