Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /

Bibliographic Details
Corporate Authors:	AISC (Conference) Marseille, France), SpringerLink (Online service), Calculemus (Symposium)
Other Authors:	Calmet, Jacques
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2385. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Artificial intelligence > Congresses. Logic, Symbolic and mathematical > Congresses. Automatic theorem proving > Congresses. démonstration. programmation sous contrainte. géométrie algorithmique. mathématiques pour informatique. déduction automatique. démonstration théorème. algèbre ordinateur. programmation symbolique. Artificial intelligence. Automatic theorem proving. Logic, Symbolic and mathematical. Intelligence artificielle > Congrès. Théorèmes > Démonstration automatique > Congrès. Logique symbolique et mathématique > Congrès. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Constraint Acquisition / Eugene C. Freuder
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees / Alain Colmerauer
Deduction versus Computation: The Case of Induction / Eric Deplagne and Claude Kirchner
Integration of Quantifier Elimination with Constraint Logic Programming / Thomas Sturm
Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design / Madhu Chetty
Inductive Synthesis of Functional Programs / Emanuel Kitzelmann, Ute Schmid, Martin Muhlpfordt and Fritz Wysotzki
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis / Begona Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Jose Crespo and Laura Laita.