Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings
Enregistré dans:
| Collectivités auteurs: | , |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science. Lecture notes in artificial intelligence
2385 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Artificial intelligence, automated reasoning, and symbolic computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, Jacques Calmet ... [et al.], Berlin, Springer, 2002, 1 vol. (XI-341 p.), Lecture notes in computer science, 3-540-43865-3 • Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Texte imprimé, 9783662186886 |
Indholdsfortegnelse:
- Invited Talks
- Constraint Acquisition
- Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees
- Deduction versus Computation: The Case of Induction
- Integration of Quantifier Elimination with Constraint Logic Programming
- AISC Regular Talks
- Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design
- Inductive Synthesis of Functional Programs
- A Symbolic Computation-Based Expert System for Alzheimer s Disease Diagnosis
- On a Generalised Logicality Theorem
- Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic
- The Wright ? Function
- Multicontext Logic for Semigroups of Contexts
- Indefinite Integration as a Testbed for Developments in Multi-agent Systems
- Expression Inference Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation
- A Novel Face Recognition Method
- Non-commutative Logic for Hand-Written Character Modeling
- From Numerical to Symbolic Data during the Recognition of Scenarii
- On Mathematical Modeling of Networks and Implementation Aspects
- Continuous First-Order Constraint Satisfaction
- Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints
- A Genetic-Based Approach for Satisfiability Problems
- On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope
- Calculemus Regular Talks
- Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements
- The Meaning of Infinity in Calculus and Computer Algebra Systems
- Making Conjectures about Maple Functions
- Employing Theory Formation to Guide Proof Planning
- Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
- Combining Generic and DomainSpecific Reasoning by Using Contexts
- Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus
- Yacas: A Do-It-Yourself Symbolic Algebra Environment
- Focus Windows: A New Technique for Proof Presentation.