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

Eugene C. Freuder:
Constraint Acquisition. 1
Electronic Edition (Springer LINK) BibTeX
Alain Colmerauer:
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. 2-3
Electronic Edition (Springer LINK) BibTeX
Eric Deplagne, Claude Kirchner:
Deduction versus Computation: The Case of Induction. 4-6
Electronic Edition (Springer LINK) BibTeX
Thomas Sturm:
Integration of Quantifier Elimination with Constraint Logic Programming. 7-11
Electronic Edition (Springer LINK) BibTeX

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