1. AISMC 1992: Karlsruhe, Germany

@proceedings{DBLP:conf/aisc/1992,
  editor    = {Jacques Calmet and
               John A. Campbell},
  title     = {Artificial Intelligence and Symbolic Mathematical Computation,
               International Conference, AISMC-1, Karlsruhe, Germany, August
               3-6, 1992, Proceedings},
  booktitle = {AISCM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {737},
  year      = {1993},
  isbn      = {3-540-57322-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Jacques Calmet, John A. Campbell:
  Artificial Intelligence and Symbolic Mathematical Computation. 1-19
  
• Peter Struss:
  Qualitative Modeling of Physical Systems in AI Research. 20-49
  
• Jürgen Sellen:
  On the Topological Structure of Configuration Spaces. 50-64
  
• Peter B. Ladkin, Alexander Reinefeld:
  A Symbolic Approach to Interval Constraint Problems. 65-84
  
• Gerhard Schwärzler:
  An Algebraic Approach to Knowledge-Based Modeling. 85-95
  
• Michael E. Clarkson:
  Intelligent User Interfaces for Symbolic and Numeric Computation. 96-106
  
• Gregory Butler:
  The Progress Towards an Intelligent Assistent - A Discussion Paper. 107-115
  
• Jochen Pfalzgraf:
  On Mathematical Modeling in Robotics. 116-132
  
• Eric Monfroy:
  Gröbner Bases: Strategies and Applications. 133-151
  
• Hoon Hong:
  Heuristic Search Strategies for Cylindrical Algebraic Decomposion. 152-165
  
• Jacques Calmet, Karsten Homann, Indra A. Tjandra:
  Unified Domains and Abstract Computational Structures. 166-177
  
• Eugen E. Ardeleanu:
  Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence. 178-187
  
• Andreas Weber:
  A Type-Coercion Problem in Computer Algebra. 188-194
  
• Wolfram Koepf:
  Algorthmic Development of Power Series. 195-213
  
• Larry Kerschberg, Anthony Waisanen:
  A Cooperative Approach to Query Processing: Integrating Historical, Structural, and Behavioral Knowledge Sources. 214-223
  
• Gianna Cioni, Attilio Colagrossi, Alfonso Miola:
  A Desk-Top Sequent Calculus Machine. 224-236
  
• Jan A. Plaza:
  Gentzen-style Characterizations of Negation as Failure. 237-261
  
• Reiner Hähnle:
  A New Translation from Deduction into Integer Programming. 262-275
  
• Martin Charles Golumbic:
  Reasoning About Time. 276
  
• Waldir L. Roque:
  Learning Qualitative Physics Reasoning from Regime Analysis. 277-293
  
• Roberto Garigliano, David J. Nettleton:
  Qualitative Mathematical Modeling of Genetic Algorithms. 294-305
  

Last update Tue May 22 03:55:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page