Screen LibraryArtificial intelligence and symbolic mathematical computation：international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; ; |
| Published: |
Springer,
|
| Publisher Address: | Berlin New York |
| Publication Dates: | c1996. |
| Literature type: | Book |
| Language: | English |
| Series: |
Lecture notes in computer science ; 1138 |
| Subjects: | |
| Carrier Form: | viii, 379 p.: ill. ; 24 cm. |
| ISBN: | 3540617329 (alk. paper) |
| Index Number: | TP18 |
| CLC: | TP18-532 |
| Call Number: | TP18-532/A791-3/1996 |
| Contents: |
"Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation (AISMC-3), held in Steyr (Austria), September 23-25, 1996"--Foreword. Includes bibliographical references and index. Symbolic computation and teaching (invited lecture) D.S. Scott -- Analytica : an experiment in combining theorem proving and symbolic computation / A. Bauer, E. Clarke, X. Zhao -- Document recognition, semantics, and symbolic reasoning in reverse engineering of software / G. Butler ... [et al.] -- Compromised updates in labelled databases / F.C.C. Dargam -- An inference engine for propositional two-valued logic based on the radical membership problem / E. Roanes-Lozano, L.M. Laita, E. Roanes-Macías -- Programming by demonstration : a machine learning approach to support skill acquisition for robots (invited lecture) / R. Dillmann, H. Friedrich -- Knowledge-based information processing in manufacturing cells : the present and the future / G. Reinhart, R. Diesch, M.R. Koch -- Calculi for qualitative spatial reasoning (invited lecture) / A.G. Cohn -- Combining local consistency, symbolic rewriting and interval methods / F. Benhamou, L. Granvilliers -- Proof transformation for non-compatible rewriting / R. Bündgen -- PATCH graphs : an efficient data structure for completion of finitely presented groups / C. Lynch, P. Strogova -- Measuring the likely effectiveness of strategies / B.J. Dupée -- A new approach on solving 3-satisfiability / R. Rodošek -- Geometry machines : from aritifical intelligence to symbolic mathematical computation (invited lecture) / D. Wang -- Interactive theorem proving and finite projective planes / J. Ueberberg -- Towards modelling the topology of homogeneous manifolds by means of symbolic computation / M. Joswig -- Solving geometrical constraint systems using CLP based on linear constraint solver / D. Bouhineau -- Towards a sheaf semantics for cooperating agents scenarios / V. Sofronie -- Data types in subdefinite models / V. Telerman, D. Ushakov -- On theorem-proving in Horn theories with built-in algebras / N. Andrianarivelo, W. Bousdira, J.-M. Talbot -- Backward reasoning in systems with cut / E. Eder -- Soundness and completeness versus lifting property / J.A. Plaza -- Reasoning with preorders and dynamic sorts using free variable tableaux / A. Gavilanes ... [et al.]. |