Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings / edited by Bruno Buchberger, John A. Campbell.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Buchberger, Bruno (Editor), Campbell, John A. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:	1st ed. 2004.
Series:	Lecture Notes in Artificial Intelligence ; 3249 Springer eBook Collection.
Subjects:	Artificial intelligence. Computer science—Mathematics. Numerical analysis. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Invited Presentations
The Algorithmization of Physics: Math Between Science and Engineering
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search
Proof Search in Minimal Logic
Planning and Patching Proof
Papers
A Paraconsistent Higher Order Logic
Abstraction Within Partial Deduction for Linear Logic
A Decision Procedure for Equality Logic with Uninterpreted Functions
Generic Hermitian Quantifier Elimination
Extending Finite Model Searching with Congruence Closure Computation
On the Combination of Congruence Closure and Completion
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques
Proving and Constraint Solving in Computational Origami
An Evolutionary Local Search Method for Incremental Satisfiability
Solving Equations Involving Sequence Variables and Sequence Functions
Verified Computer Algebra in Acl2
Polynomial Interpretations with Negative Coefficients
New Developments in Symmetry Breaking in Search Using Computational Group Theory
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks
Four Approaches to Automated Reasoning with Differential Algebraic Structures
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy
An Expert System on Detection, Evaluation and Treatment of Hypertension
Short Presentations
Two Revision Methods Based on Constraints: Application to a Flooding Problem
Abstraction-Driven Verification of Array Programs
Singularities in Qualitative Reasoning
From a Computer Algebra Library to a System with an Equational Prover.

Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings / edited by Bruno Buchberger, John A. Campbell.

Similar Items