Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings

著者

• International Conference AISC
• Calmet, Jacques
• Plaza, Jan

書誌事項

Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings

Jacques Calmet, Jan Plaza (eds.)

（Lecture notes in computer science, 1476 . Lecture notes in artificial intelligence）

Springer, c1998

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

Contents Invited Talks An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) Luc De Raedt Bertrand Russell, Herbrands theorem, and the assignment statement Melvin Fitting Representing and Reasoning with Context Richmond H. Thomason Regular Talks From Integrated Reasoning to lug-and-Play' Reasoning 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, J.Calmet, F. Giunchiglia, K.Homann 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 Stephane Fevre, 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 (Extended Abstract) Ken-etsu Fujita Inference and Verification in Medical Appropriateness Criteria using Grobner 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. Ras, 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 Propositional Definite Theories Zbigniew Stachniak

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA38088857
• ISBN:
  • 3540649603
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: xi, 307 p.
• 大きさ: 24 cm
• 分類:
  • LCC : Q334
• 件名:
  • LCSH : Artificial intelligence -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BA00009279