Abstract is missing.
- An Inductive Logic Programming Query Language for Database MiningLuc De Raedt. 1-13 [doi]
- Bertrand Russell, Herbrand s Theorem, and the Assignment StatementMelvin Fitting. 14-28 [doi]
- Representing and Reasoning with ContextRichmond H. Thomason. 29-41 [doi]
- From Integrated Reasoning Specialists to Plug-and-Play Reasoning ComponentsAlessandro Armando, Silvio Ranise. 42-54 [doi]
- Reasoning About Coding Theory: The Benefits We Get from Computer AlgebraClemens Ballarin, Lawrence C. Paulson. 55-66 [doi]
- Automatic Generation of Epsilon-Delta Proofs of ContinuityMichael Beeson. 67-83 [doi]
- Finite Model Search for Equational Theories (FMSET)Belaid Benhamou, Laurent Henocque. 84-93 [doi]
- Specification and Integration of Theorem Provers and Computer Algebra SystemsPiergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann. 94-106 [doi]
- COLETTE, Prototyping CSP Solvers Using a Rule-Based LanguageCarlos Castro. 107-119 [doi]
- An Evolutionary Algorithm for Welding Task Sequence OrderingMartin Damsbo, Peder Thusgaard Ruhoff. 120-131 [doi]
- Intuitionistic Proof Transformations and Their Application to Constructive Program SynthesisUwe Egly, Stephan Schmitt. 132-144 [doi]
- Combining Algebraic Computing and Term-Rewriting for Geometry Theorem ProvingStéphane Fèvre, Dongming Wang. 145-156 [doi]
- Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause TransferDirk Fuchs. 157-169 [doi]
- Polymorphic Call-by-Value Calculus Based on Classical ProofsKen-etsu Fujita. 170-182 [doi]
- Inference and Verification in Medical Appropriateness Criteria Using Gröbner BasesLuis M. Laita, Eugenio Roanes-Lozano, Victor Maojo. 183-194 [doi]
- The Unification Problem for One Relation Thue SystemsChristopher Lynch. 195-208 [doi]
- Basic Completion with E-cycle SimplificationChristopher Lynch, Christelle Scharff. 209-221 [doi]
- SoleX: A Domain-Independent Scheme for Constraint Solver ExtensionEric Monfroy, Christophe Ringeissen. 222-233 [doi]
- Optimising Propositional Modal Satisfiability for Description Logic SubsumptionIan Horrocks, Peter F. Patel-Schneider. 234-246 [doi]
- Instantiation of Existentially Quantified Variables in Inductive Specification ProofsBrigitte Pientka, Christoph Kreitz. 247-258 [doi]
- Knowledge Discovery Objects and Queries in Distributed Knowledge SystemsZbigniew W. Ras, Jiyun Zheng. 259-269 [doi]
- ALLTYPES: An ALgebraic Language and TYPE SystemFritz Schwarz. 270-283 [doi]
- Real Parametrization of Algebraic CurvesJ. Rafael Sendra, Franz Winkler. 284-295 [doi]
- Non-clausal Reasoning with Propositional Definite TheoriesZbigniew Stachniak. 296-307 [doi]