Abstract is missing.
- Symbolic Computation and TeachingDana S. Scott. 1-20
- Analytica - An Experiment in Combining Theorem Proving and Symbolic ComputationAndrej Bauer, Edmund M. Clarke, Xudong Zhao. 21-37
- Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of SoftwareGregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra. 38-48
- Compromised Updates in Labelled DatabasesFétima C. C. Dargam. 49-70
- An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership ProblemEugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías. 71-86
- Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for RobotsRüdiger Dillmann, Holger Friedrich. 87-108
- Knowledge-Based Information Processing in Manufacturing Cells - The Present and the FutureGunther Reinhart, Rolf Diesch, Michael R. Koch. 109-123
- Calculi for Qualitative Spatial ReasoningAnthony G. Cohn. 124-143
- Combining Local Consistency, Symbolic Rewriting and Interval MethodsFrédéric Benhamou, Laurent Granvilliers. 144-159
- Proof Transformation for Non-Compatible RewritingReinhard Bündgen. 160-175
- PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented GroupsChristopher Lynch, Polina Strogova. 176-190
- Measuring the Likely Effectiveness of StrategiesBrian J. Dupée. 191-196
- A New Approach on Solving 3-SatisfiabilityRobert Rodosek. 197-212
- Geometry Machines: From AI to SMCDongming Wang. 213-239
- Interactive Theorem Proving and Finite Projective PlanesJohannes Ueberberg. 240-257
- Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic ComputationMichael Joswig. 258-273
- Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint SolverDenis Bouhineau. 274-288
- Towards a Sheaf Semantics for Cooperating Agents ScenariosViorica Sofronie. 289-304
- Data Types in Subdefinite ModelsVitaly Telerman, Dmitry Ushakov. 305-319
- On Theorem-Proving in Horn Theories with Built-in AlgebrasNirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot. 320-338
- Backward Reasoning in Systems with CutElmar Eder. 339-353
- Soundness and Completeness versus Lifting PropertyJan A. Plaza. 354-364
- Reasoning with Preorders and Dynamic Sorts Using Free Variable TableauxAntonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva. 365-379