Book Volume 3249 2004

Artificial Intelligence and Symbolic Computation

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


ISBN: 978-3-540-23212-4 (Print) 978-3-540-30210-0 (Online)

Table of contents (25 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Presentations

    1. Chapter

      Pages 1-7

      The Algorithmization of Physics: Math Between Science and Engineering

    2. Chapter

      Pages 8-14

      Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search

    3. Chapter

      Pages 15-25

      Proof Search in Minimal Logic

    4. Chapter

      Pages 26-37

      Planning and Patching Proof

  3. Papers

    1. Chapter

      Pages 38-51

      A Paraconsistent Higher Order Logic

    2. Chapter

      Pages 52-65

      Abstraction Within Partial Deduction for Linear Logic

    3. Chapter

      Pages 66-79

      A Decision Procedure for Equality Logic with Uninterpreted Functions

    4. Chapter

      Pages 80-93

      Generic Hermitian Quantifier Elimination

    5. Chapter

      Pages 94-102

      Extending Finite Model Searching with Congruence Closure Computation

    6. Chapter

      Pages 103-117

      On the Combination of Congruence Closure and Completion

    7. Chapter

      Pages 118-131

      Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques

    8. Chapter

      Pages 132-142

      Proving and Constraint Solving in Computational Origami

    9. Chapter

      Pages 143-156

      An Evolutionary Local Search Method for Incremental Satisfiability

    10. Chapter

      Pages 157-170

      Solving Equations Involving Sequence Variables and Sequence Functions

    11. Chapter

      Pages 171-184

      Verified Computer Algebra in Acl2

    12. Chapter

      Pages 185-198

      Polynomial Interpretations with Negative Coefficients

    13. Chapter

      Pages 199-210

      New Developments in Symmetry Breaking in Search Using Computational Group Theory

    14. Chapter

      Pages 211-221

      Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks

    15. Chapter

      Pages 222-235

      Four Approaches to Automated Reasoning with Differential Algebraic Structures

    16. Chapter

      Pages 236-250

      Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy

previous Page of 2