Artificial Intelligence and Symbolic Computation

8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

  • Jacques Calmet
  • Tetsuo Ida
  • Dongming Wang
Conference proceedings AISC 2006

DOI: 10.1007/11856290

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4120)

Table of contents (22 papers)

  1. Front Matter
  2. Invited Presentations

    1. Interactive Mathematical Documents
      Arjeh M. Cohen
      Pages 1-1
    2. Algebra and Geometry
      Heisuke Hironaka
      Pages 2-2
    3. Semantic Guidance for Saturation Provers
      William McCune
      Pages 18-24
  3. Contributed Papers

    1. Artificial Intelligence and Theorem Proving

      1. Labeled @-Calculus: Formalism for Time-Concerned Human Factors
        Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
        Pages 25-39
      2. Extension of First-Order Theories into Trees
        Khalil Djelloul, Thi-Bich-Hanh Dao
        Pages 53-67
      3. The Confluence Problem for Flat TRSs
        Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard
        Pages 68-81
    2. Symbolic Computation

    3. Constraint Satisfaction/Solving

      1. Solving Dynamic Geometric Constraints Involving Inequalities
        Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang
        Pages 181-195

About these proceedings

Keywords

Artificial intelligence Automat Constraint Satisfaction algorithmics algorithms heuristics intelligence knowledge knowledge management problem solving proving theorem proving

Editors and affiliations

  • Jacques Calmet
    • 1
  • Tetsuo Ida
    • 2
  • Dongming Wang
    • 3
  1. 1.Institut für Algorithmen und Kognitive SystemeUniversität KarlsruheKarlsruheGermany
  2. 2.Department of Computer ScienceUniversity of TsukubaTsukubaJapan
  3. 3.LMIB – SKLSDE – School of ScienceBeihang UniversityBeijingChina

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-39728-1
  • Online ISBN 978-3-540-39730-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349