Verkauf durch Sack Fachmedien

Calmet / Pfalzgraf / Campbell

Artificial Intelligence and Symbolic Mathematical Computation

International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

Medium: Buch
ISBN: 978-3-540-61732-7
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 11.09.1996
Lieferfrist: bis zu 10 Tage

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.


Produkteigenschaften


  • Artikelnummer: 9783540617327
  • Medium: Buch
  • ISBN: 978-3-540-61732-7
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 11.09.1996
  • Sprache(n): Englisch
  • Auflage: 1996
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 1220 g
  • Seiten: 384
  • Format (B x H x T): 155 x 235 x 22 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

Symbolic computation and teaching.- Analytica — An experiment in combining theorem proving and symbolic computation.- Document recognition, semantics, and symbolic reasoning in reverse engineering of software.- Compromised updates in labelled databases.- An inference engine for propositional two-valued logic based on the radical membership problem.- Programming by demonstration: A machine learning approach to support skill acquision for robots.- Knowledge-based information processing in manufacturing cells — The present and the future.- Calculi for qualitative spatial reasoning.- Combining local consistency, symbolic rewriting and interval methods.- Proof transformation for non-compatible rewriting.- PATCH Graphs: An efficient data structure for completion of finitely presented groups.- Measuring the likely effectiveness of strategies.- A new approach on solving 3-satisfiability.- Geometry machines: From AI to SMC.- Interactive Theorem Proving and finite projective planes.- Towards modelling the topology of homogeneous manifolds by means of symbolic computation.- Solving geometrical constraint systems using CLP based on linear constraint solver.- Towards a sheaf semantics for cooperating agents scenarios.- Data types in subdefinite models.- On theorem-proving in Horn theories with built-in algebras.- Backward reasoning in systems with cut.- Soundness and completeness versus lifting property.- Reasoning with preorders and dynamic sorts using free variable tableaux.