LEADER 05086nam 22007095 450 001 996466124103316 005 20200629191428.0 010 $a3-540-49816-8 024 7 $a10.1007/BFb0055897 035 $a(CKB)1000000000210976 035 $a(SSID)ssj0000321411 035 $a(PQKBManifestationID)11227075 035 $a(PQKBTitleCode)TC0000321411 035 $a(PQKBWorkID)10280123 035 $a(PQKB)11526278 035 $a(DE-He213)978-3-540-49816-2 035 $a(PPN)155237667 035 $a(EXLCZ)991000000000210976 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aArtificial Intelligence and Symbolic Computation$b[electronic resource] $eInternational Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /$fedited by Jacques Calmet, Jan Plaza 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (XII, 316 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1476 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-64960-3 327 $aAn inductive logic programming query language for database mining -- Bertrand Russell, Herbrand?s theorem, and the assignment statement -- Representing and reasoning with context -- From integrated reasoning specialists to ?plug-and-play? reasoning components -- Reasoning about coding theory: The benefits we get from computer algebra -- Automatic generation of epsilon-delta proofs of continuity -- Finite model search for equational theories (FMSET) -- Specification and integration of theorem provers and computer algebra systems -- COLETTE, prototyping CSP solvers using a rule-based language -- An evolutionary algorithm for welding task sequence ordering -- Intuitionistic proof transformations and their application to constructive program synthesis -- Combining algebraic computing and term-rewriting for geometry theorem proving -- Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer -- Polymorphic call-by-value calculus based on classical proofs -- Inference and verification in Medical Appropriateness Criteria using Gröbner Bases -- The unification problem for one relation Thue Systems -- Basic Completion with E-cycle Simplification -- SoleX: A domain-independent scheme for constraint solver extension -- Optimising propositional modal satisfiability for description logic subsumption -- Instantiation of existentially quantified variables in inductive specification proofs -- Knowledge discovery objects and queries in Distributed Knowledge Systems -- ALLTYPES: An algebraic language and TYPE system -- Real parametrization of algebraic curves -- Non-clausal reasoning with propositional definite theories. 330 $aThis book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998. The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery. 410 0$aLecture Notes in Artificial Intelligence ;$v1476 606 $aArtificial intelligence 606 $aComputers 606 $aComputer science?Mathematics 606 $aMathematical logic 606 $aAlgorithms 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aAlgorithms$3https://scigraph.springernature.com/ontologies/product-market-codes/M14018 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aMathematical logic. 615 0$aAlgorithms. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aMathematical Logic and Formal Languages. 615 24$aAlgorithms. 676 $a006.3 702 $aCalmet$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPlaza$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference AISC '98 906 $aBOOK 912 $a996466124103316 996 $aArtificial Intelligence and Symbolic Computation$9772740 997 $aUNISA