| 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 / Stephane Fevre ; 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 / 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 |
| Instantiation of Existentially Quantified Variables in Induction Specification Proofs Brigitte Pientka / Christoph Kreitz |
| Knowledge Discovery Objects and Queries in Distributed Knowledge Systems / Zbigniew W. Ras ; Jiyun Zheng |
| Alltypes: An ALgebraic Language and Type System / Fritz Schwarz |
| Real Parametrization of Algebraic Curves / J. Rafael Sendra ; Franz Winkler |
| Non-Clausal Reasoning with Propositional Definite Theories / Zbigniew Stachniak |
| 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 |
