Artificial Intelligence and Symbolic Computation

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

  • Jacques Calmet
  • Tetsuo Ida
  • Dongming Wang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4120)

Table of contents

  1. Front Matter
  2. Invited Presentations

    1. Arjeh M. Cohen
      Pages 1-1
    2. Heisuke Hironaka
      Pages 2-2
    3. William McCune
      Pages 18-24
  3. Contributed Papers

    1. Artificial Intelligence and Theorem Proving

      1. Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
        Pages 25-39
      2. Khalil Djelloul, Thi-Bich-Hanh Dao
        Pages 53-67
      3. Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard
        Pages 68-81
    2. Symbolic Computation

    3. Constraint Satisfaction/Solving

      1. 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

  • DOI https://doi.org/10.1007/11856290
  • 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
  • About this book