Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Constraint Acquisition
3. Altmetric Badge
   Chapter 2 Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees
4. Altmetric Badge
   Chapter 3 Deduction versus Computation: The Case of Induction
5. Altmetric Badge
   Chapter 4 Integration of Quantifier Elimination with Constraint Logic Programming
6. Altmetric Badge
   Chapter 5 Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design
7. Altmetric Badge
   Chapter 6 Inductive Synthesis of Functional Programs
8. Altmetric Badge
   Chapter 7 A Symbolic Computation-Based Expert System for Alzheimer’s Disease Diagnosis
9. Altmetric Badge
   Chapter 8 On a Generalised Logicality Theorem
10. Altmetric Badge
    Chapter 9 Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic
11. Altmetric Badge
    Chapter 10 The Wright ω Function
12. Altmetric Badge
    Chapter 11 Multicontext Logic for Semigroups of Contexts
13. Altmetric Badge
    Chapter 12 Indefinite Integration as a Testbed for Developments in Multi-agent Systems
14. Altmetric Badge
    Chapter 13 Expression Inference — Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation
15. Altmetric Badge
    Chapter 14 A Novel Face Recognition Method
16. Altmetric Badge
    Chapter 15 Non-commutative Logic for Hand-Written Character Modeling
17. Altmetric Badge
    Chapter 16 From Numerical to Symbolic Data during the Recognition of Scenarii
18. Altmetric Badge
    Chapter 17 On Mathematical Modeling of Networks and Implementation Aspects
19. Altmetric Badge
    Chapter 18 Continuous First-Order Constraint Satisfaction
20. Altmetric Badge
    Chapter 19 Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints
21. Altmetric Badge
    Chapter 20 A Genetic-Based Approach for Satisfiability Problems
22. Altmetric Badge
    Chapter 21 On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope
23. Altmetric Badge
    Chapter 22 Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements
24. Altmetric Badge
    Chapter 23 The Meaning of Infinity in Calculus and Computer Algebra Systems
25. Altmetric Badge
    Chapter 24 Making Conjectures about Maple Functions
26. Altmetric Badge
    Chapter 25 Employing Theory Formation to Guide Proof Planning
27. Altmetric Badge
    Chapter 26 Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
28. Altmetric Badge
    Chapter 27 Combining Generic and Domain Specific Reasoning by Using Contexts
29. Altmetric Badge
    Chapter 28 Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus
30. Altmetric Badge
    Chapter 29 Yacas: A Do-It-Yourself Symbolic Algebra Environment
31. Altmetric Badge
    Chapter 30 Focus Windows: A New Technique for Proof Presentation