↓ Skip to main content

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Overview of attention for book
Cover of '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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 Wikipedia page


12 Dimensions

Readers on

8 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Published by
Springer Berlin Heidelberg, August 2003
DOI 10.1007/3-540-45470-5
978-3-54-043865-6, 978-3-54-045470-0

Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 8 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Spain 1 13%
Unknown 7 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 50%
Professor 1 13%
Lecturer 1 13%
Unknown 2 25%
Readers by discipline Count As %
Computer Science 5 63%
Mathematics 1 13%
Agricultural and Biological Sciences 1 13%
Unknown 1 13%