Vai al contenuto principale della pagina
Titolo: | 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 |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Edizione: | 1st ed. 2002. |
Descrizione fisica: | 1 online resource (XIV, 350 p.) |
Disciplina: | 006.3 |
Soggetto topico: | Artificial intelligence |
Computer science—Mathematics | |
Numerical analysis | |
Mathematical logic | |
Artificial Intelligence | |
Symbolic and Algebraic Manipulation | |
Numeric Computing | |
Discrete Mathematics in Computer Science | |
Mathematical Logic and Formal Languages | |
Persona (resp. second.): | CalmetJacques |
BenhamouBelaid | |
CaprottiOlga | |
HenocqueLaurent | |
SorgeVolker | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | 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. |
Titolo autorizzato: | Artificial Intelligence, Automated Reasoning, and Symbolic Computation |
ISBN: | 3-540-45470-5 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910143899403321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |