LEADER 06298nam 22007095 450 001 9910144150903321 005 20200706153545.0 010 $a3-540-30210-7 024 7 $a10.1007/b100361 035 $a(CKB)1000000000212542 035 $a(DE-He213)978-3-540-30210-0 035 $a(SSID)ssj0000106115 035 $a(PQKBManifestationID)11127393 035 $a(PQKBTitleCode)TC0000106115 035 $a(PQKBWorkID)10108025 035 $a(PQKB)10566951 035 $a(MiAaPQ)EBC3088584 035 $a(PPN)155171569 035 $a(EXLCZ)991000000000212542 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aArtificial Intelligence and Symbolic Computation $e7th International Conference, AISC 2004 Linz, Austria, September 22?24, 2004 Proceedings /$fedited by Bruno Buchberger, John A. Campbell 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 294 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3249 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23212-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Presentations -- The Algorithmization of Physics: Math Between Science and Engineering -- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search -- Proof Search in Minimal Logic -- Planning and Patching Proof -- Papers -- A Paraconsistent Higher Order Logic -- Abstraction Within Partial Deduction for Linear Logic -- A Decision Procedure for Equality Logic with Uninterpreted Functions -- Generic Hermitian Quantifier Elimination -- Extending Finite Model Searching with Congruence Closure Computation -- On the Combination of Congruence Closure and Completion -- Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques -- Proving and Constraint Solving in Computational Origami -- An Evolutionary Local Search Method for Incremental Satisfiability -- Solving Equations Involving Sequence Variables and Sequence Functions -- Verified Computer Algebra in Acl2 -- Polynomial Interpretations with Negative Coefficients -- New Developments in Symmetry Breaking in Search Using Computational Group Theory -- Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks -- Four Approaches to Automated Reasoning with Differential Algebraic Structures -- Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy -- An Expert System on Detection, Evaluation and Treatment of Hypertension -- Short Presentations -- Two Revision Methods Based on Constraints: Application to a Flooding Problem -- Abstraction-Driven Verification of Array Programs -- Singularities in Qualitative Reasoning -- From a Computer Algebra Library to a System with an Equational Prover. 330 $aAISC 2004, the 7th International Conference on Artificial Intelligence and Symbolic Computation, was the latest in the series of specialized biennial conferences founded in 1992 by Jacques Calmet of the Universitat ¨ Karlsruhe and John Campbell of University College London with the initial title Artificial Intelligence and Symbolic Mathematical Computing (AISMC).The M disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 proceedings said, the organizers of the current meeting decided to drop the adjective ?mathematical? and to emphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended profile of the series, and will figure in the call for papers for AISC 2006,which is intended to take place in China. The distribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an effect that emerged because we were concerned to select the best relevant papers that were offered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchers over the entire spectrum of AISC, as expressed by the 1998 quotation above,to be in touch with us about their interests and the possibility of eventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the field of AISC. Additionally, there are two reasons for optimism about the continuation of this situation. 410 0$aLecture Notes in Artificial Intelligence ;$v3249 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aNumerical analysis 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aNumerical analysis. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aNumeric Computing. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aBuchberger$b Bruno$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCampbell$b John A$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAISC 2004 906 $aBOOK 912 $a9910144150903321 996 $aArtificial Intelligence and Symbolic Computation$9772740 997 $aUNINA