Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings by Jacques CalmetArtificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings by Jacques Calmet

Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh…

EditorJacques Calmet


Pricing and Purchase Info

$114.32 online 
$128.95 list price save 11%
Earn 572 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.
Title:Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh…Format:PaperbackDimensions:320 pages, 9.25 × 6.1 × 0 in

The following ISBNs are associated with this title:

ISBN - 10:3540649603

ISBN - 13:9783540649601

Look for similar items by category:


Table of Contents

ContentsInvited TalksAn Inductive Logic Programming Query Language for Database Mining (Extended Abstract)Luc De Raedt Bertrand Russell, Herbrands theorem, and the assignment statementMelvin Fitting Representing and Reasoning with ContextRichmond H. Thomason Regular TalksFrom Integrated Reasoning to lug-and-Play' Reasoning ComponentsAlessandro Armando, Silvio Ranise Reasoning about Coding Theory: The Benefits We Get from Computer AlgebraClemens Ballarin, Lawrence C. Paulson Automatic Generation of Epsilon-Delta Proofs of ContinuityMichael Beeson Finite Model Search for Equational Theories (FMSET)Belaid Benhamou, Laurent Heocque Specification and Integration of Theorem Provers and Computer Algebra SystemsP.G.Bertoli, J.Calmet, F. Giunchiglia, K.Homann COLETTE, Prototyping CSP Solvers Using a Rule-Based Language Carlos Castro An Evolutionary Algorithm for Welding Task Sequence OrderingMartin Damsbo, Peder Thusgaard Ruhoff Intuitionistic Proof Transformations and Their Application to Constructive Program SynthesisUwe Egli, Stephan Schmitt Combining Algebraic Computing and Term-Rewriting for Geometry Theorem ProvingStéphane Fèvre, Dongming Wang Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause TransferDirk Fuchs Polymorphic Call-by-Value Calculus based on Classical Proofs (Extended Abstract)Ken-etsu Fujita Inference and Verification in Medical Appropriateness Criteria using Grobner BasesL.M. Laita, E. Roanes-Lozano, V. Maojo The Unification Problem for One Relation Thue SystemsChristopher Lynch Basic Completion with E-cycle SimplificationChristopher Lynch, Christelle Scharff SoleX: a Domain-Independent Scheme for Constraint Solver ExtensionEric Monfroy, Christophe Ringeissen Optimising Propositional Modal Satisfiability for Description Logic SubsumptionIan 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 SystemsZbigniew W. Ras, Jiyun Zheng ALLTYPES: An ALgebraic Language and TYPE SystemFritz Schwarz Real Parametrization of Algebraic CurvesJ. Rafael Sendra, Franz Winkler Non-Clausal Reasoning with Propositional Definite TheoriesZbigniew Stachniak