This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.
The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.
Author(s): Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
Series: Lecture Notes in Computer Science 1138
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 384
Tags: Artificial Intelligence (incl. Robotics);Symbolic and Algebraic Manipulation;Algorithms;Mathematical Logic and Formal Languages;Systems and Information Theory in Engineering
Symbolic computation and teaching....Pages 1-20
Analytica — An experiment in combining theorem proving and symbolic computation....Pages 21-37
Document recognition, semantics, and symbolic reasoning in reverse engineering of software....Pages 38-48
Compromised updates in labelled databases....Pages 49-70
An inference engine for propositional two-valued logic based on the radical membership problem....Pages 71-86
Programming by demonstration: A machine learning approach to support skill acquision for robots....Pages 87-108
Knowledge-based information processing in manufacturing cells — The present and the future....Pages 109-123
Calculi for qualitative spatial reasoning....Pages 124-143
Combining local consistency, symbolic rewriting and interval methods....Pages 144-159
Proof transformation for non-compatible rewriting....Pages 160-175
PATCH Graphs: An efficient data structure for completion of finitely presented groups....Pages 176-190
Measuring the likely effectiveness of strategies....Pages 191-196
A new approach on solving 3-satisfiability....Pages 197-212
Geometry machines: From AI to SMC....Pages 213-239
Interactive Theorem Proving and finite projective planes....Pages 240-257
Towards modelling the topology of homogeneous manifolds by means of symbolic computation....Pages 258-273
Solving geometrical constraint systems using CLP based on linear constraint solver....Pages 274-288
Towards a sheaf semantics for cooperating agents scenarios....Pages 289-304
Data types in subdefinite models....Pages 305-319
On theorem-proving in Horn theories with built-in algebras....Pages 320-338
Backward reasoning in systems with cut....Pages 339-353
Soundness and completeness versus lifting property....Pages 354-364
Reasoning with preorders and dynamic sorts using free variable tableaux....Pages 365-379
