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): Markus Rosenkranz (auth.), Bruno Buchberger, John Campbell (eds.)
Series: Lecture Notes in Computer Science 3249 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2004
Language: English
Pages: 294
Tags: Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Numeric Computing; Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages
Front Matter....Pages -
The Algorithmization of Physics: Math Between Science and Engineering....Pages 1-7
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search....Pages 8-14
Proof Search in Minimal Logic....Pages 15-25
Planning and Patching Proof....Pages 26-37
A Paraconsistent Higher Order Logic....Pages 38-51
Abstraction Within Partial Deduction for Linear Logic....Pages 52-65
A Decision Procedure for Equality Logic with Uninterpreted Functions....Pages 66-79
Generic Hermitian Quantifier Elimination....Pages 80-93
Extending Finite Model Searching with Congruence Closure Computation....Pages 94-102
On the Combination of Congruence Closure and Completion....Pages 103-117
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques....Pages 118-131
Proving and Constraint Solving in Computational Origami....Pages 132-142
An Evolutionary Local Search Method for Incremental Satisfiability....Pages 143-156
Solving Equations Involving Sequence Variables and Sequence Functions....Pages 157-170
Verified Computer Algebra in Acl2 ....Pages 171-184
Polynomial Interpretations with Negative Coefficients....Pages 185-198
New Developments in Symmetry Breaking in Search Using Computational Group Theory....Pages 199-210
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks....Pages 211-221
Four Approaches to Automated Reasoning with Differential Algebraic Structures....Pages 222-235
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy....Pages 236-250
An Expert System on Detection, Evaluation and Treatment of Hypertension....Pages 251-264
Two Revision Methods Based on Constraints: Application to a Flooding Problem....Pages 265-270
Abstraction-Driven Verification of Array Programs....Pages 271-275
Singularities in Qualitative Reasoning....Pages 276-280
From a Computer Algebra Library to a System with an Equational Prover....Pages 281-284
Back Matter....Pages -
