Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1998

Artificial Intelligence and Symbolic Computation

International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings

Editors:

  1. Jacques Calmet
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Plaza
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1476)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): AISC: International Conference on Artificial Intelligence and Symbolic Computation

Conference proceedings info: AISC 1998.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (24 papers)

  1. Front Matter

    PDF

  4. Representing and reasoning with context

    • Richmond H. Thomason
    Pages 29-41

  6. Reasoning about coding theory: The benefits we get from computer algebra

    • Clemens Ballarin, Lawrence C. Paulson
    Pages 55-66

  8. Finite model search for equational theories (FMSET)

    • Belaid Benhamou, Laurent Henocque
    Pages 84-93

  9. Specification and integration of theorem provers and computer algebra systems

    • P. G. Bertoli, J. Calmet, F. Giunchiglia, K. Homann
    Pages 94-106

  11. An evolutionary algorithm for welding task sequence ordering

    • Martin Damsbo, Peder Thusgaard Ruhoff
    Pages 120-131

  13. Combining algebraic computing and term-rewriting for geometry theorem proving

    • Stéphane Fèvre, Dongming Wang
    Pages 145-156

  18. Basic Completion with E-cycle Simplification

    • Christopher Lynch, Christelle Scharff
    Pages 209-221

  19. SoleX: A domain-independent scheme for constraint solver extension

    • Eric Monfroy, Christophe Ringeissen
    Pages 222-233

  20. Optimising propositional modal satisfiability for description logic subsumption

    • Ian Horrocks, Peter F. Patel-Schneider
    Pages 234-246
Back to top

Other Volumes

  1. Artificial Intelligence and Symbolic Computation

Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation