6. AISC 2002:
Marseille,
France
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (Eds.):
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings.
Lecture Notes in Computer Science 2385 Springer 2002, ISBN 3-540-43865-3 BibTeX
@proceedings{DBLP:conf/aisc/2002,
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, AISC 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
booktitle = {AISC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2385},
year = {2002},
isbn = {3-540-43865-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
AISC Regular Talks
- Madhu Chetty:
Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design.
12-25
Electronic Edition (Springer LINK) BibTeX
- Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki:
Inductive Synthesis of Functional Programs.
26-37
Electronic Edition (Springer LINK) BibTeX
- Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita:
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis.
38-50
Electronic Edition (Springer LINK) BibTeX
- Marc Aiguier, Diane Bahrami, Catherine Dubois:
On a Generalised Logicality Theorem.
51-63
Electronic Edition (Springer LINK) BibTeX
- Elena Smirnova:
Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic.
64-75
Electronic Edition (Springer LINK) BibTeX
- Robert M. Corless, David J. Jeffrey:
The Wright omega Function.
76-89
Electronic Edition (Springer LINK) BibTeX
- Rolf Nossum, Luciano Serafini:
Multicontext Logic for Semigroups of Contexts.
90-101
Electronic Edition (Springer LINK) BibTeX
- John A. Campbell:
Indefinite Integration as a Testbed for Developments in Multi-agent Systems.
102-116
Electronic Edition (Springer LINK) BibTeX
- Andrew Hunter:
Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation.
117-127
Electronic Edition (Springer LINK) BibTeX
- Li Bai, Yihui Liu:
A Novel Face Recognition Method.
128-135
Electronic Edition (Springer LINK) BibTeX
- Jacqueline Castaing:
Non-commutative Logic for Hand-Written Character Modeling.
136-153
Electronic Edition (Springer LINK) BibTeX
- Sophie Loriette-Rougegrez:
From Numerical to Symbolic Data during the Recognition of Scenarii.
154-167
Electronic Edition (Springer LINK) BibTeX
- Regina Bernhaupt, Jochen Pfalzgraf:
On Mathematical Modeling of Networks and Implementation Aspects.
168-180
Electronic Edition (Springer LINK) BibTeX
- Stefan Ratschan:
Continuous First-Order Constraint Satisfaction.
181-195
Electronic Edition (Springer LINK) BibTeX
- Martin Charles Golumbic, Assaf Siani:
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints.
196-207
Electronic Edition (Springer LINK) BibTeX
- Mohamed Tounsi:
A Genetic-Based Approach for Satisfiability Problems.
208-216
Electronic Edition (Springer LINK) BibTeX
- K. Subramani:
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope.
217-230
Electronic Edition (Springer LINK) BibTeX
Calculemus Regular Talks
- Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani:
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.
231-245
Electronic Edition (Springer LINK) BibTeX
- Michael Beeson, Freek Wiedijk:
The Meaning of Infinity in Calculus and Computer Algebra Systems.
246-258
Electronic Edition (Springer LINK) BibTeX
- Simon Colton:
Making Conjectures about Maple Functions.
259-274
Electronic Edition (Springer LINK) BibTeX
- Andreas Meier, Volker Sorge, Simon Colton:
Employing Theory Formation to Guide Proof Planning.
275-289
Electronic Edition (Springer LINK) BibTeX
- Temur Kutsia:
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms.
290-304
Electronic Edition (Springer LINK) BibTeX
- Silvio Ranise:
Combining Generic and Domain Specific Reasoning by Using Contexts.
305-318
Electronic Edition (Springer LINK) BibTeX
- Jürgen Zimmer, Louise A. Dennis:
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.
319-331
Electronic Edition (Springer LINK) BibTeX
- Ayal Z. Pinkus, Serge Winitzki:
YACAS: A Do-It-Yourself Symbolic Algebra Environment.
332-336
Electronic Edition (Springer LINK) BibTeX
- Florina Piroi, Bruno Buchberger:
Focus Windows: A New Technique for Proof Presentation.
337-342
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 22:57:30 2009
by Michael Ley (ley@uni-trier.de)