Invited Talks |
Constraint Acquisition / Eugene C. Freuder |
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees / Alain Colmerauer |
Deduction versus Computation: The Case of Induction / Eric Deplagne ; Claude Kirchner |
Integration of Quantifier Elimination with Constraint Logic Programming / Thomas Sturm |
AISC Regular Talks |
Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design / Madhu Chetty |
Inductive Synthesis of Functional Programs / Emanuel Kitzelmann ; Ute Schmid ; Martin Muhlpfordt ; Fritz Wysotzki |
A Symbolic Computation-Based Expert System for AlzheimerÆs Disease Diagnosis / Begoña Herrero ; Luis M. Laita ; Eugenio Roanes-Lozano ; VÃctor Maojo ; Luis de Ledesma ; José Crespo ; Laura Laita |
On a Generalised Logicality Theorem / Marc Aiguier ; Diane Bahrami ; Catherine Dubois |
Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic / Elena Smirnova |
The Wright ? Function / Robert M. Corless ; D.J. Jeffrey |
Multicontext Logic for Semigroups of Contexts / RolfNossum ; Luciano Serafini |
Indefinite Integration as a Testbed for Developments in Multi-agent Systems / J.A. Campbell |
Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation / Andrew Hunter |
A Novel Face Recognition Method / Li Bai ; Yihui Liu |
Non-commutative Logic for Hand-Written Character Modeling / Jacqueline Castaing |
From Numerical to Symbolic Data during the Recognition of Scenarii / S. Loriette-Rougegrez |
On Mathematical Modeling of Networks and Implementation Aspects / Regina Bernhaupt ; Jochen Pfalzgraf |
Continuous First-Order Constraint Satisfaction / Stefan Ratschan |
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints / Martin Charles Golumbic ; AssafSiani |
A Genetic-Based Approach for Satisfiability Problems / Mohamed Tounsi |
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope / K. Subramani |
Calculemus Regular Talks |
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements / Gilles Audemard ; Piergiorgio Bertoli ; Alessandro Cimatti ; Artur Kornilowicz ; Roberto Sebastiani |
The Meaning of Infinity in Calculus and Computer Algebra Systems / Michael Beeson ; Freek Wiedijk |
Making Conjectures about Maple Functions / Simon Colton |
Employing Theory Formation to Guide Proof Planning / Andreas Meier ; Volker Sorge |
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms / Temur Kutsia |
Combining Generic and Domain Specific Reasoning by Using Contexts / Silvio Ranise |
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus / Jurgen Zimmer ; Louise A. Dennis |
Yacas: A Do-It-Yourself Symbolic Algebra Environment / Ayal Z. Pinkus ; Serge Winitzki |
Focus Windows: A New Technique for Proof Presentation / Florina Piroi ; Bruno Buchberger |
Author Index |
Invited Talks |
Constraint Acquisition / Eugene C. Freuder |
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees / Alain Colmerauer |