Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1--5, 2002. Proceedings (Q1613677)

The articles of mathematical interest will be reviewed individually. The conference AISC 2000 has been reviewed (see Zbl 0961.00030) and the symposium Calculemus 2000 has been reviewed (see Zbl 0962.00008). Indexed articles: \textit{Freuder, Eugene C.}, Constraint acquisition, 1 [Zbl 1072.68606] \textit{Colmerauer, Alain}, Expressiveness and complexity of full first-order constraints in the algebra of trees, 2-3 [Zbl 1072.68605] \textit{Deplagne, Eric; Kirchner, Claude}, Deduction versus computation: The case of induction, 4-6 [Zbl 1072.68569] \textit{Sturm, Thomas}, Integration of quantifier elimination with constraint logic programming, 7-11 [Zbl 1072.68595] \textit{Chetty, Madhu}, Towards a hybrid symbolic/numeric computational approach in controller design, 12-25 [Zbl 1072.93507] \textit{Kitzelmann, Emanuel; Schmid, Ute; Mühlpfordt, Martin; Wysotzki, Fritz}, Inductive synthesis of functional programs, 26-37 [Zbl 1072.68525] \textit{Herrero, Begoña; Laita, Luis M.; Roanes-Lozano, Eugenio; Maojo, Víctor; de Ledesma, Luis; Crespo, José; Laita, Laura}, A symbolic computation-based expert system for Alzheimer's disease diagnosis, 38-50 [Zbl 1072.68614] \textit{Aiguier, Marc; Bahrami, Diane; Dubois, Catherine}, On a generalised logicality theorem, 51-63 [Zbl 1072.68536] \textit{Smirnova, Elena}, Using symbolic computation in an automated sequent derivation system for multi-valued logic, 64-75 [Zbl 1072.68592] \textit{Corless, Robert M.; Jeffrey, D. J.}, The Wright \(\omega\) function, 76-89 [Zbl 1072.68568] \textit{Nossum, Rolf; Serafini, Luciano}, Multicontext logic for semigroups of contexts, 90-101 [Zbl 1072.68584] \textit{Campbell, J. A.}, Indefinite integration as a testbed for developments in multi-agent systems, 102-116 [Zbl 1072.68604] \textit{Hunter, Andrew}, Expression inference -- genetic symbolic classification integrated with non-linear coefficient optimisation, 117-127 [Zbl 1072.68543] \textit{Bai, Li; Liu, Yihui}, A novel face recognition method, 128-135 [Zbl 1072.68547] \textit{Castaing, Jacqueline}, Non-commutative logic for hand-written character modeling, 136-153 [Zbl 1072.68548] \textit{Loriette-Rougegrez, S.}, From numerical to symbolic data during the recognition of scenarii, 154-167 [Zbl 1072.68624] \textit{Bernhaupt, Regina; Pfalzgraf, Jochen}, On mathematical modeling of networks and implementation aspects, 168-180 [Zbl 1072.68539] \textit{Ratschan, Stefan}, Continuous first-order constraint satisfaction, 181-195 [Zbl 1072.68607] \textit{Golumbic, Martin Charles; Siani, Assaf}, Coloring algorithms for tolerance graphs: Reasoning and scheduling with interval constraints, 196-207 [Zbl 1072.68538] \textit{Tounsi, Mohamed}, A genetic-based approach for satisfiability problems, 208-216 [Zbl 1072.68609] \textit{Subramani, K.}, On identifying simple and quantified lattice points in the 2SAT polytope, 217-230 [Zbl 1072.68608] \textit{Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto}, Integrating Boolean and mathematical solving: Foundations, basic algorithms, and requirements, 231-245 [Zbl 1072.68603] \textit{Beeson, Michael; Wiedijk, Freek}, The meaning of infinity in calculus and computer algebra systems, 246-258 [Zbl 1072.68648] \textit{Colton, Simon}, Making conjectures about Maple functions, 259-274 [Zbl 1072.68656] \textit{Meier, Andreas; Sorge, Volker; Colton, Simon}, Employing theory formation to guide proof planning, 275-289 [Zbl 1072.68582] \textit{Kutsia, Temur}, Unification with sequence variables and flexible arity symbols and its extension with pattern-terms, 290-304 [Zbl 1072.68580] \textit{Ranise, Silvio}, Combining generic and domain specific reasoning by using contexts, 305-318 [Zbl 1072.68588] \textit{Zimmer, Jürgen; Dennis, Louise A.}, Inductive theorem proving and computer algebra in the MathWeb Software Bus, 319-331 [Zbl 1072.68600] \textit{Pinkus, Ayal Z.; Winitzki, Serge}, YACAS: A do-it-yourself symbolic algebra environment, 332-336 [Zbl 1072.68692] \textit{Piroi, Florina; Buchberger, Bruno}, Focus Windows: A new technique for proof presentation, 337-341 [Zbl 1072.68587]