6. AISC 2002:
, 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.
Springer 2002 Lecture Notes in Computer Science
: Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees.
: Integration of Quantifier Elimination with Constraint Logic Programming.
: Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design.
: Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic.
John A. Campbell
: Indefinite Integration as a Testbed for Developments in Multi-agent Systems.
: Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation.
: A Genetic-Based Approach for Satisfiability Problems.
: On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope.
: Making Conjectures about Maple Functions.
: Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms.
: Combining Generic and Domain Specific Reasoning by Using Contexts.