| 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 |
図書
