05293nam 22007695 450 99646585840331620200704231636.03-540-70740-910.1007/3-540-61732-9(CKB)1000000000234522(SSID)ssj0000321412(PQKBManifestationID)11283927(PQKBTitleCode)TC0000321412(PQKBWorkID)10280124(PQKB)10812565(DE-He213)978-3-540-70740-0(PPN)155190121(EXLCZ)99100000000023452220121227d1996 u| 0engurnn|008mamaatxtccrArtificial Intelligence and Symbolic Mathematical Computation[electronic resource] International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings /edited by Jaques Calmet, John A. Campbell, Jochen Pfalzgraf1st ed. 1996.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1996.1 online resource (VIII, 384 p.) Lecture Notes in Computer Science,0302-9743 ;1138Bibliographic Level Mode of Issuance: Monograph3-540-61732-9 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.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.Lecture Notes in Computer Science,0302-9743 ;1138Artificial intelligenceComputersComputer science—MathematicsAlgorithmsMathematical logicComputational complexityArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Symbolic and Algebraic Manipulationhttps://scigraph.springernature.com/ontologies/product-market-codes/I17052Algorithmshttps://scigraph.springernature.com/ontologies/product-market-codes/M14018Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/T11022Artificial intelligence.Computers.Computer science—Mathematics.Algorithms.Mathematical logic.Computational complexity.Artificial Intelligence.Theory of Computation.Symbolic and Algebraic Manipulation.Algorithms.Mathematical Logic and Formal Languages.Complexity.006.3/01/5113Calmet Jaquesedthttp://id.loc.gov/vocabulary/relators/edtCampbell John Aedthttp://id.loc.gov/vocabulary/relators/edtPfalzgraf Jochenedthttp://id.loc.gov/vocabulary/relators/edtAISMC-3BOOK996465858403316Artificial Intelligence and Symbolic Mathematical Computation2829959UNISA