Skip to main content
SpringerLink
Log in

Artificial Intelligence and Symbolic Computation

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

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Jacques Calmet

    1. Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, Karlsruhe, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tetsuo Ida

    1. Department of Computer Science, University of Tsukuba, Tsukuba, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dongming Wang

    1. LMIB – SKLSDE – School of Science, Beihang University, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: AISC 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Presentations

    1. Interactive Mathematical Documents

      • Arjeh M. Cohen
      Pages 1-1

    2. Algebra and Geometry

      • Heisuke Hironaka
      Pages 2-2

    3. An Inductive Inference System and Its Rationality

      • Wei Li
      Pages 3-17

    4. 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. Enhanced Theorem Reuse by Partial Theory Inclusions
        • Immanuel Normann
        Pages 40-52
      3. Extension of First-Order Theories into Trees
        • Khalil Djelloul, Thi-Bich-Hanh Dao
        Pages 53-67
      4. The Confluence Problem for Flat TRSs
        • Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard
        Pages 68-81

    2. Symbolic Computation

      1. Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer
        • Yong-Bin Li
        Pages 82-93
      2. A New Definition for Passivity and Its Relation to Coherence
        • Moritz Minzlaff, Jacques Calmet
        Pages 94-105
      3. A Full System of Invariants for Third-Order Linear Partial Differential Operators
        • Ekaterina Shemyakova
        Pages 106-115
      4. An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial
        • Songxin Liang, David J. Jeffrey
        Pages 116-130
      5. Quantifier Elimination for Quartics
        • Lu Yang, Bican Xia
        Pages 131-145
      6. On the Mixed Cayley-Sylvester Resultant Matrix
        • Weikun Sun, Hongbo Li
        Pages 146-159
      7. Implicitization of Rational Curves
        • Yongli Sun, Jianping Yu
        Pages 160-169
      8. Operator Calculus Approach to Solving Analytic Systems
        • Philip Feinsilver, René Schott
        Pages 170-180

    3. Constraint Satisfaction/Solving

      1. Solving Dynamic Geometric Constraints Involving Inequalities
        • Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang
        Pages 181-195
      2. Constraints for Continuous Reachability in the Verification of Hybrid Systems
        • Stefan Ratschan, Zhikun She
        Pages 196-210
      3. Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances
        • Sheng Liu, Jian Zhang
        Pages 211-225
Back to top

Other volumes

  1. Artificial Intelligence and Symbolic Computation

Keywords

Editors and Affiliations

  • Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, Karlsruhe, Germany

    Jacques Calmet

  • Department of Computer Science, University of Tsukuba, Tsukuba, Japan

    Tetsuo Ida

  • LMIB – SKLSDE – School of Science, Beihang University, Beijing, China

    Dongming Wang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation