Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings /
Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings / [electronic resource] :
edited by Bruno Buchberger, John A. Campbell.
- 1st ed. 2004.
- X, 294 p. 27 illus. online resource.
- Lecture Notes in Artificial Intelligence, 3249 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 3249 .
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.
9783540302100
10.1007/b100361 doi
Artificial intelligence.
Computer science--Mathematics.
Numerical analysis.
Discrete mathematics.
Machine theory.
Artificial Intelligence.
Symbolic and Algebraic Manipulation.
Numerical Analysis.
Discrete Mathematics in Computer Science.
Formal Languages and Automata Theory.
Q334-342 TA347.A78
006.3
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.
9783540302100
10.1007/b100361 doi
Artificial intelligence.
Computer science--Mathematics.
Numerical analysis.
Discrete mathematics.
Machine theory.
Artificial Intelligence.
Symbolic and Algebraic Manipulation.
Numerical Analysis.
Discrete Mathematics in Computer Science.
Formal Languages and Automata Theory.
Q334-342 TA347.A78
006.3