This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia.
Author(s): Buchberger B., Campbell J. A. (Ed)
Year: 2003
Language: English
Pages: 299
Table of Contents......Page 10
The Algorithmization of Physics: Math Between Science and Engineering......Page 12
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search......Page 19
Proof Search in Minimal Logic......Page 26
Planning and Patching Proof......Page 37
A Paraconsistent Higher Order Logic......Page 49
Abstraction Within Partial Deduction for Linear Logic......Page 63
A Decision Procedure for Equality Logic with Uninterpreted Functions......Page 77
Generic Hermitian Quantifier Elimination......Page 91
Extending Finite Model Searching with Congruence Closure Computation......Page 105
On the Combination of Congruence Closure and Completion......Page 114
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques......Page 129
Proving and Constraint Solving in Computational Origami......Page 143
An Evolutionary Local Search Method for Incremental Satisfiability......Page 154
Solving Equations Involving Sequence Variables and Sequence Functions......Page 168
Verified Computer Algebra in ACL2. Gröbner Bases Computation......Page 182
Polynomial Interpretations with Negative Coefficients......Page 196
New Developments in Symmetry Breaking in Search Using Computational Group Theory......Page 210
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks......Page 222
Four Approaches to Automated Reasoning with Differential Algebraic Structures......Page 233
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy......Page 247
An Expert System on Detection, Evaluation and Treatment of Hypertension......Page 262
Two Revision Methods Based on Constraints: Application to a Flooding Problem......Page 276
Abstraction-Driven Verification of Array Programs......Page 282
Singularities in Qualitative Reasoning......Page 287
From a Computer Algebra Library to a System with an Equational Prover......Page 292
Author Index......Page 296
