Artificial Intelligence and Symbolic Computation

7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

  • Bruno Buchberger
  • John Campbell
Conference proceedings AISC 2004

DOI: 10.1007/b100361

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

Table of contents (25 papers)

  1. Front Matter
  2. Invited Presentations

  3. Papers

    1. A Paraconsistent Higher Order Logic
      Jørgen Villadsen
      Pages 38-51
    2. Generic Hermitian Quantifier Elimination
      Andreas Dolzmann, Lorenz A. Gilch
      Pages 80-93
    3. On the Combination of Congruence Closure and Completion
      Christelle Scharff, Leo Bachmair
      Pages 103-117
    4. Proving and Constraint Solving in Computational Origami
      Tetsuo Ida, Dorin Ţepeneu, Bruno Buchberger, Judit Robu
      Pages 132-142
    5. Verified Computer Algebra in Acl2
      I. Medina-Bulo, F. Palomo-Lozano, J. A. Alonso-Jiménez, J. L. Ruiz-Reina
      Pages 171-184
    6. Polynomial Interpretations with Negative Coefficients
      Nao Hirokawa, Aart Middeldorp
      Pages 185-198
    7. New Developments in Symmetry Breaking in Search Using Computational Group Theory
      Tom Kelsey, Steve Linton, Colva Roney-Dougal
      Pages 199-210
    8. Four Approaches to Automated Reasoning with Differential Algebraic Structures
      Jesús Aransay, Clemens Ballarin, Julio Rubio
      Pages 222-235

About these proceedings

Keywords

Variable algorithms automated deduction automated reasoning computational logics computational mathematics computeralgebra constraint processing expert system intelligence proving semantics symbolic computation theorem proving systems verification

Editors and affiliations

  • Bruno Buchberger
    • 1
  • John Campbell
    • 2
  1. 1.Research Institute for Symbolic ComputationJohannes Kepler UniversityLinzAustria
  2. 2.Department of Computer ScienceUniversity College LondonLondonUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23212-4
  • Online ISBN 978-3-540-30210-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349