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)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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