Artificial Intelligence and Symbolic Computation

Contents

Invited Talks
- An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) Luc De Raedt Bertrand Russell,
- Herbrands theorem, and the assignment statement Melvin Fitting
- Representing and Reasoning with Context Richmond H. Thomason

Regular Talks
- From Integrated Reasoning to lug-and-Play' Reasoning Components Alessandro Armando, Silvio Ranise
- Reasoning about Coding Theory: The Benefits We Get from Computer Algebra Clemens Ballarin, Lawrence C. Paulson
- Automatic Generation of Epsilon-Delta Proofs of Continuity Michael Beeson
- Finite Model Search for Equational Theories (FMSET) Belaid Benhamou, Laurent Heocque
- Specification and Integration of Theorem Provers and Computer Algebra Systems P.G.Bertoli, J.Calmet, F. Giunchiglia, K.Homann
- COLETTE, Prototyping CSP Solvers Using a Rule-Based Language Carlos Castro
- An Evolutionary Algorithm for Welding Task Sequence Ordering Martin Damsbo, Peder Thusgaard Ruhoff
- Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis Uwe Egli, Stephan Schmitt
- Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving Stéphane Fèvre, Dongming Wang
- Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer Dirk Fuchs
- Polymorphic Call-by-Value Calculus based on Classical Proofs (Extended Abstract) Ken-etsu Fujita
- Inference and Verification in Medical Appropriateness Criteria using Grobner Bases L.M. Laita, E. Roanes-Lozano, V. Maojo
- The Unification Problem for One Relation Thue Systems Christopher Lynch
- Basic Completion with E-cycle Simplification Christopher Lynch, Christelle Scharff
- SoleX: a Domain-Independent Scheme for Constraint Solver Extension Eric Monfroy, Christophe Ringeissen
- Optimising Propositional Modal Satisfiability for Description Logic Subsumption Ian Horrocks, Peter F. Patel-Schneider.