1 option
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / edited by Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 2385.
- Lecture Notes in Artificial Intelligence ; 2385
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Computer science--Mathematics.
- Computer science.
- Numerical analysis.
- Logic, Symbolic and mathematical.
- Artificial Intelligence.
- Symbolic and Algebraic Manipulation.
- Numeric Computing.
- Discrete Mathematics in Computer Science.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Artificial Intelligence.
- Symbolic and Algebraic Manipulation.
- Numeric Computing.
- Discrete Mathematics in Computer Science.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (XIV, 350 pages).
- Edition:
- First edition 2002.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
- System Details:
- text file PDF
- Contents:
- 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 Domain Specific 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45470-0
- 9783540454700
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.