Table of contents (24 papers)

  1. Front Matter
  2. Representing and reasoning with context
    Richmond H. Thomason
    Pages 29-41
  3. Reasoning about coding theory: The benefits we get from computer algebra
    Clemens Ballarin, Lawrence C. Paulson
    Pages 55-66
  4. Finite model search for equational theories (FMSET)
    Belaid Benhamou, Laurent Henocque
    Pages 84-93
  5. Specification and integration of theorem provers and computer algebra systems
    P. G. Bertoli, J. Calmet, F. Giunchiglia, K. Homann
    Pages 94-106
  6. An evolutionary algorithm for welding task sequence ordering
    Martin Damsbo, Peder Thusgaard Ruhoff
    Pages 120-131
  7. Inference and verification in Medical Appropriateness Criteria using Gröbner Bases
    L. M. Laita, E. Roanes-Lozano, V. Maojo
    Pages 183-194
  8. Basic Completion with E-cycle Simplification
    Christopher Lynch, Christelle Scharff
    Pages 209-221
  9. SoleX: A domain-independent scheme for constraint solver extension
    Eric Monfroy, Christophe Ringeissen
    Pages 222-233
  10. Optimising propositional modal satisfiability for description logic subsumption
    Ian Horrocks, Peter F. Patel-Schneider
    Pages 234-246

About these proceedings

Introduction

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.

Keywords

Extension Variable algorithms artificial intelligence evolution evolutionary algorithm formal verification knowledge knowledge discovery programming proof theory proving verification

Bibliographic information

  • Copyright Information Springer-Verlag 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64960-1
  • Online ISBN 978-3-540-49816-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349