Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

This 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. An Inductive Logic Programming Query Language For Database Mining / Luc De Raedt -- Bertrand Russell, Herbrand's Theorem, And The Assignment Statement / Melvin Fitting -- Representing And Reasoning With Context / Richmond H. Thomason -- From Integrated Reasoning Specialists To Plug-and-play Resoning Components / Alessandro Armando, Silvio Ranise -- Reasoning About Coding Theory : The Benefits We Get From Computer Algebra / Clemens Ballarin, Lawrence C. Paulson -- Automatic Generation Of Epsilon-delta Proofs Of Continuity / Michael Beeson -- Finite Model Search For Equational Theories (fmset) / Belaid Benhamou, Laurent Heocque -- Specification And Integration Of Theorem Provers And Computer Algebra Systems / P.g. Bertoli [and Others] -- Colette, Prototyping Csp Solvers Using A Rule-based Language / Carlos Castro -- An Evolutionary Algorithm For Welding Task Sequence Ordering / Martin Damsbo, Peder Thusgaard Ruhoff --^ Intuitionistic Proof Transformations And Their Application To Constructive Program Synthesis / Uwe Egli, Stephan Schmitt -- Combining Algebraic Computing And Term-rewriting For Geometry Theorem Proving / Stéphane Fèvre, Dongming Wang -- Cooperation Between Top-down And Bottom-up Theorem Provers By Subgoal Clause Transfer / Dirk Fuchs -- Polymorphic Call-by-value Calculus Based On Classical Proofs / Ken-etsu Fujita -- Inference And Verification In Medical Appropriateness Criteria Using Gröbner Bases / L.m. Laita, E. Roanes-lozano --, V. Maojo -- The Unification Problem For One Relation Thue Systems / Christopher Lynch -- Basic Completion With E-cycle Simplification / Christopher Lynch, Christelle Scharff -- Solex : A Domain-independent Scheme For Constraint Solver Extension / Eric Monfroy, Christophe Ringeissen -- Optimising Propositional Modal Satisfiability For Description Logic Subsumption / Ian Horrocks, Peter F. Patel-schneider --^ Instantiation Of Existentially Quantified Variables In Induction Specification Proofs / Brigitte Pientka, Christoph Kreitz -- Knowledge Discovery Objects And Queries In Distributed Knowledge Systems / Zbigniew W. Raś, Jiyun Zheng -- Alltypes : An Algebraic Language And Type System / Fritz Schwarz -- Real Parametrization Of Algebraic Curves / J. Rafael Sendra, Franz Winkler -- Non-clausal Reasoning With Propositionl Definite Theories / Zbigniew Stachniak. Jacques Calmet, Jan Plaza (eds.). Papers From The Fourth International Conference On Artificial Intelligence And Symbolic Computation. Includes Bibliographical References And Index. An inductive logic programming query language for database mining....Pages 1-13 Bertrand Russell, Herbrand’s theorem, and the assignment statement....Pages 14-28 Representing and reasoning with context....Pages 29-41 From integrated reasoning specialists to “plug-and-play≓ reasoning components....Pages 42-54 Reasoning about coding theory: The benefits we get from computer algebra....Pages 55-66 Automatic generation of epsilon-delta proofs of continuity....Pages 67-83 Finite model search for equational theories (FMSET)....Pages 84-93 Specification and integration of theorem provers and computer algebra systems....Pages 94-106 COLETTE, prototyping CSP solvers using a rule-based language....Pages 107-119 An evolutionary algorithm for welding task sequence ordering....Pages 120-131 Intuitionistic proof transformations and their application to constructive program synthesis....Pages 132-144 Combining algebraic computing and term-rewriting for geometry theorem proving....Pages 145-156 Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer....Pages 157-169 Polymorphic call-by-value calculus based on classical proofs....Pages 170-182 Inference and verification in Medical Appropriateness Criteria using Gröbner Bases....Pages 183-194 The unification problem for one relation Thue Systems....Pages 195-208 Basic Completion with E-cycle Simplification....Pages 209-221 SoleX: A domain-independent scheme for constraint solver extension....Pages 222-233 Optimising propositional modal satisfiability for description logic subsumption....Pages 234-246 Instantiation of existentially quantified variables in inductive specification proofs....Pages 247-258 Knowledge discovery objects and queries in Distributed Knowledge Systems....Pages 259-269 ALLTYPES: An algebraic language and TYPE system....Pages 270-283 Real parametrization of algebraic curves....Pages 284-295 Non-clausal reasoning with propositional definite theories....Pages 296-307